UnusedResult.unused: 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 84-92 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=84&end_line=92

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

# The type of a binder its facts say is never used, if they do.
def unused(facts: List<&2, Lint.Fact>) -> Maybe<&2, Lint.TypeRef>:
  match facts:
    case Nil{}:
      None{}
    case Con{Lint.Fact{Lint.OfBinder{}, q, Some{Lint.Erased{}}, t}, rest}:
      Some{t}
    case Con{f, rest}:
      unused(rest)

Uses (6):
  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=bend-lint-api@0.2.0.0/linter/lint.bend&name=Fact
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Quantity
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Role
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=TypeRef