DecreasingCall.finding: def of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/language/decreasing_call.bend as DecreasingCall
Lines 219-232 of bend-lint-rules@0.2.0.0/language/decreasing_call.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/language/decreasing_call.bend&start_line=219&end_line=232

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

def finding(
  verdict: Verdict,
  span: Maybe<&2, Lint.Span>,
  loop: String,
  source: String,
  args: List<&2, Lint.Node>
) -> List<&2, Lint.Finding>:
  match verdict span:
    case Fails{at, param} Some{s}:
      [Lint.Finding{Lint.Warning{}, s, message(Fails{at, param}, loop, source, args), []}]
    case Unchanged{} Some{s}:
      [Lint.Finding{Lint.Warning{}, s, message(Unchanged{}, loop, source, args), []}]
    case _ _:
      []

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