AppendInLoop.judged: def of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/performance/append_in_loop.bend as AppendInLoop
Lines 100-113 of bend-lint-rules@0.2.0.0/performance/append_in_loop.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/performance/append_in_loop.bend&start_line=100&end_line=113

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

def judged(
  kept: Bool,
  a: Append,
  name: String,
  acc: String,
  span: Lint.Span,
  text: String,
  args: List<&2, Lint.Node>
) -> List<&2, Lint.Finding>:
  match kept:
    case True{}:
      []
    case False{}:
      [Lint.Finding{Lint.Warning{}, span, Append.message(a, name, acc, text, args), []}]

Uses (9):
  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=String
  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-rules@0.2.0.0/performance/append_in_loop.bend&name=Append
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/append_in_loop.bend&name=Append.message