DropInBang.visit: def of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/performance/drop_in_bang.bend as DropInBang
Lines 28-58 of bend-lint-rules@0.2.0.0/performance/drop_in_bang.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/performance/drop_in_bang.bend&start_line=28&end_line=58

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
import bend-lint-rules@0.2.0.0/performance/gpu_fit.bend as GpuFit

# The finding about an application below `path`, if it is a `!` call that only frees.
def visit(
  +program: Program,
  +path: List<&2, Lint.Above>,
  +node: Lint.Node
) -> List<&2, Lint.Finding>:
  match program node:
    case Program{
      defs,
      bangs
    } Lint.Node{
      Lint.Application{},
      n,
      span,
      Con{Lint.Node{Lint.Reference{+t}, callee, Some{Lint.Span{p, beg, end}}, k, f}, args},
      facts
    }:
      Lint.finding(
        Lint.Warning{},
        List.contains(
          ~U32,
          ~U32.is_eq,
          bangs,
          end
        )
          && GpuFit.is_drop(Names.find(Lint.Def, defs, t), t),
        span,
        message(callee)
      )
    case _ _:
      []

Uses (18):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  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=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-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=finding
  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/drop_in_bang.bend&name=Program
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/drop_in_bang.bend&name=message
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/gpu_fit.bend&name=is_drop