ForwardReference.below: def of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/language/forward_reference.bend as ForwardReference
Lines 51-64 of bend-lint-rules@0.2.0.0/language/forward_reference.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/language/forward_reference.bend&start_line=51&end_line=64

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

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

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Above
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Finding
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Severity
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Span
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=finding
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=is_live
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/language/forward_reference.bend&name=message