def below

bend-lint-rules@0.2.0.0 · language/forward_reference.bend:51

import Base
import bend-lint-api@0.2.0.0/linter/lint.bend as Lint

51# The finding about a use of `used` from `user`, if `used` is below it. Whether the use is live is asked only then:
52# `&&` computes both sides.
53def below(
54  hit: Bool,
55  path: List<&2, Lint.Above>,
56  used: String,
57  user: String,
58  span: Maybe<&2, Lint.Span>
59) -> List<&2, Lint.Finding>:
60  match hit:
61    case True{}:
62      Lint.finding(Lint.Warning{}, Lint.is_live(path), span, message(used, user))
63    case False{}:
64      []