GpuFit.unbanged: 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 229-251 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=229&end_line=251

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

# The finding about a call of `info` without `!`, if it forks over numbers only and the caller does not
# fork.
def unbanged(
  info: Maybe<&2, Lint.Def>,
  callee: String,
  +caller: Maybe<&2, Lint.Def>,
  slots: List<&2, Slot>,
  span: Maybe<&2, Lint.Span>
) -> List<&2, Lint.Finding>:
  match info:
    case Some{Lint.Def{t, params, True{}, calls, r}}:
      Lint.finding(
        Lint.Hint{},
        Bool.not(
          Maybe.is_some(&2, Lint.Param, data(params, None{}, slots))
        )
          && Bool.not(Lint.Def.forks(caller))
          && Bool.not(String.eq(t, Def.target(caller))),
        span,
        faster(callee)
      )
    case _:
      []

Uses (19):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  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=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe.is_some
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  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=Def.forks
  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=Param
  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=finding
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/gpu_fit.bend&name=Def.target
  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=data
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/gpu_fit.bend&name=faster