UnneededPlus.plus: def of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/language/unneeded_plus.bend as UnneededPlus
Lines 78-94 of bend-lint-rules@0.2.0.0/language/unneeded_plus.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/language/unneeded_plus.bend&start_line=78&end_line=94

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

# The binder a node of this kind declares with `+`, if it does.
def plus(syntax: Lint.Syntax) -> Maybe<&2, U32>:
  match syntax:
    case Lint.Parameter{b, Lint.Many{}}:
      Some{b}
    case Lint.Field{b, Lint.Many{}}:
      Some{b}
    case Lint.Binding{b, Lint.Many{}}:
      Some{b}
    case Lint.Forall{b, Lint.Many{}}:
      Some{b}
    case Lint.Lambda{b, Some{Lint.Many{}}}:
      Some{b}
    case Lint.PatternVariable{b, Lint.Many{}}:
      Some{b}
    case _:
      None{}

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