Reach.Evidence.NilParameter (Reach v2.8.1)

Copy Markdown View Source

Collects nil-capable parameter uses and their dominating non-nil guards.

Summary

Functions

collect_project(project)

Collects nilability and guard-dominance facts for project functions.

Functions

collect_project(project)

@spec collect_project(Reach.Project.t() | map()) :: [
  Reach.Evidence.NilParameter.Fact.t()
]

Collects nilability and guard-dominance facts for project functions.