ReusedBinder.is_live_inside: def of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/language/reused_binder.bend as ReusedBinder
Lines 62-77 of bend-lint-rules@0.2.0.0/language/reused_binder.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/language/reused_binder.bend&start_line=62&end_line=77

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

# Whether the nodes under `node`, which is live if `live`, are: a body is; a type is not (an equality, a function or
# pair type, a type's arguments). An annotation's type is not either: see `scan`.
def is_live_inside(+node: Lint.Node, live: Bool) -> Bool:
  match node:
    case Lint.Node{Lint.Body{}, n, s, k, f}:
      True{}
    case Lint.Node{Lint.Equality{}, n, s, k, f}:
      False{}
    case Lint.Node{Lint.Forall{b, q}, n, s, k, f}:
      False{}
    case Lint.Node{Lint.TypeApplication{t}, n, s, k, f}:
      False{}
    case Lint.Node{Lint.Application{}, n, s, kids, f}:
      live && Bool.not(Lint.is_pair(kids))
    case _:
      live

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