UnusedResult.is_binder: 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 62-82 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=62&end_line=82

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

# Whether a node of this kind, below `path`, binds a value at run time: a lambda's parameter (not a `do` step's), or a
# let's name (a binding, or the one pattern variable of a let), not erased.
def is_binder(syntax: Lint.Syntax, path: List<&2, Lint.Above>) -> Bool:
  match syntax path:
    case Lint.Lambda{b, Some{Lint.Erased{}}} _:
      False{}
    case Lint.Lambda{b, q} _:
      Bool.not(is_step(path))
    case Lint.Binding{b, Lint.Erased{}} _:
      False{}
    case Lint.Binding{b, q} _:
      True{}
    case Lint.PatternVariable{b, Lint.Erased{}} _:
      False{}
    case Lint.PatternVariable{
      b,
      q
    } Con{Lint.Above{Lint.Node{Lint.Destructure{d}, n, s, k, f}, at}, rest}:
      True{}
    case _ _:
      False{}

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=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=Node
  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=Syntax
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/unused_result.bend&name=is_step