GpuFit.visit: def of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/performance/gpu_fit.bend as GpuFit
Lines 301-331 of bend-lint-rules@0.2.0.0/performance/gpu_fit.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/performance/gpu_fit.bend&start_line=301&end_line=331

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

# The finding about an application below `path`, if its function is a definition of the program.
def visit(
  +program: Program,
  +path: List<&2, Lint.Above>,
  +node: Lint.Node
) -> List<&2, Lint.Finding>:
  match program node:
    case Program{
      +defs,
      under,
      slots,
      bangs
    } Lint.Node{
      Lint.Application{},
      n,
      span,
      Con{Lint.Node{Lint.Reference{t}, callee, Some{Lint.Span{p, beg, end}}, k, f}, args},
      facts
    }:
      judged(
        List.contains(~U32, ~U32.is_eq, bangs, end),
        Names.find(Lint.Def, defs, t),
        is_drop(Names.find(Lint.Def, defs, t), t),
        callee,
        Names.find(Lint.Def, defs, Lint.Node.target(Lint.top(path, node))),
        under,
        slots,
        span
      )
    case _ _:
      []

Uses (17):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.contains
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  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=Def
  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=Node.target
  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=top
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/shared/names.bend&name=find
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/gpu_fit.bend&name=Program
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/gpu_fit.bend&name=is_drop
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/gpu_fit.bend&name=judged