GpuFit.is_drop: 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 61-68 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=61&end_line=68

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

# Whether a call of `t` (`info`, if the program defines it) only frees its inputs: it returns Unit, as Base's
# Image.drop, Image.free and Image.sink do.
def is_drop(info: Maybe<&2, Lint.Def>, t: String) -> Bool:
  match info:
    case Some{Lint.Def{d, ps, fs, cs, r}}:
      String.eq(r, "Unit")
    case None{}:
      List.contains(~String, ~String.eq, ["Image.drop", "Image.free", "Image.sink"], t)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=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