ListIndexLoop.loops: 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 189-202 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=189&end_line=202

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

# Whether the loop `owner`, if a parameter of it declares the binder `b` (`param`), passes it unchanged to a call of
# itself (`target`), in the innermost case above `path`.
def loops(
  param: Maybe<&2, Nat>,
  path: List<&2, Lint.Above>,
  owner: Lint.Node,
  target: String,
  b: U32
) -> Bool:
  match param:
    case Some{i}:
      passes([innermost(path, owner)], target, b, False{})
    case None{}:
      False{}

Uses (10):
  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=Nat
  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=Node
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/list_index_loop.bend&name=innermost
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/list_index_loop.bend&name=passes