UnusedResult.judged: def of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/performance/unused_result.bend as UnusedResult
Lines 155-181 of bend-lint-rules@0.2.0.0/performance/unused_result.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/performance/unused_result.bend&start_line=155&end_line=181

import Base
import bend-lint-api@0.2.0.0/linter/lint.bend as Lint
import bend-lint-api@0.2.0.0/shared/lists.bend as Lists
import bend-lint-rules@0.2.0.0/performance/gpu_fit.bend as GpuFit

# The findings about the unused binders whose types, as shown, are data: not numbers, nor records of numbers only.
def judged(
  found: List<&2, Unused>,
  shown: List<&2, String>,
  +slots: List<&2, GpuFit.Slot>,
  out: List<&2, Lint.Finding>
) -> List<&2, Lint.Finding>:
  match found shown:
    case Con{Unused{span, name, loop, t}, rest} Con{ty, more}:
      judged(
        rest,
        more,
        slots,
        Lists.onto(
          &2,
          Lint.Finding,
          Lint.finding(
            Lint.Information{},
            Bool.not(GpuFit.is_flat(64n, Some{[ty]}, slots)),
            Some{span},
            message(name, loop)
          ),
          out
        )
      )
    case _ _:
      List.reverse(&2, Lint.Finding, out)

Uses (13):
  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=List.reverse
  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=Severity
  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/shared/lists.bend&name=onto
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/gpu_fit.bend&name=Slot
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/gpu_fit.bend&name=is_flat
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/unused_result.bend&name=Unused
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/unused_result.bend&name=message