def judged

bend-lint-rules@0.2.0.0 · language/reused_binder.bend:161

import bend-lint-rules@0.2.0.0/language/reused_binder.bend as ReusedBinder
import Base
import bend-lint-api@0.2.0.0/linter/lint.bend as Lint

161# The finding about a binder of `owner` used twice on one path, unless a match takes it apart (`matched`).
162def judged(matched: Bool, owner: Lint.Node, b: U32, name: String) -> List<&2, Lint.Finding>:
163  match matched:
164    case True{}:
165      []
166    case False{}:
167      finding(scan([owner], b, False{}, False{}, False{}, 0, Seen{None{}, None{}}), name)

Uses (10)

Used by (1)