ListIndexLoop.judged.list: def of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/performance/list_index_loop.bend as ListIndexLoop
Lines 224-252 of bend-lint-rules@0.2.0.0/performance/list_index_loop.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/performance/list_index_loop.bend&start_line=224&end_line=252

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

# The finding about a walker's call, below `path`, of the list `list` with the binder `walked` that the loop `owner`
# passes unchanged to a call of itself in the same branch.
def judged.list(
  walked: Maybe<&2, U32>,
  list: String,
  callee: String,
  through: String,
  +owner: Lint.Node,
  +path: List<&2, Lint.Above>,
  span: Maybe<&2, Lint.Span>
) -> List<&2, Lint.Finding>:
  match walked owner:
    case Some{+b} Lint.Node{Lint.Definition{+t, u}, name, s, +kids, f}:
      Lint.finding(
        Lint.Warning{},
        loops(
          Lint.parameter(kids, b),
          path,
          owner,
          t,
          b
        )
          && Lint.is_live(path)
          && Bool.not(feeds(path, t)),
        span,
        message(callee, through, list, name)
      )
    case _ _:
      []

Uses (18):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  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=Base/base.bend&name=U32
  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=Node
  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=Syntax
  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-api@0.2.0.0/linter/lint.bend&name=parameter
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/list_index_loop.bend&name=feeds
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/list_index_loop.bend&name=loops
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/list_index_loop.bend&name=message