def bound.plus
bolt@1.27.0.0 · src/rules/suspicious/concat.bend:142
import bolt@1.27.0.0/src/rules/suspicious/concat.bend as Concat
import Base
import bolt@1.27.0.0/src/syntax/tree.bend as Tree
import bolt@1.27.0.0/src/rules/calls.bend as Calls
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy
142
143def bound.plus(+h1: Tree.Node, +h2: Tree.Node, rest: Tree.Node) -> Maybe<&2, Let>:
144 match rest:
145 case Tree.NCons{h3, rhs}:
146 Lazy.stop(Maybe<&2, Let>, Bool.not(String.eq(Calls.leaf.text(h1), "+")), None{},
147 _u => bound.named(h2, h3, rhs))
148 case other:
149 None{}