def judged

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

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

66def judged(
67  path: List<&2, Lint.Above>,
68  place: Maybe<&2, Place>,
69  user: User,
70  span: Maybe<&2, Lint.Span>
71) -> List<&2, Lint.Finding>:
72  match place user:
73    case Some{Place{p, used}} User{places, at, name}:
74      below(U32.is_gt(p, at), path, used, name, span)
75    case _ _:
76      []