def known.at

bend-lint-rules@0.2.0.0 · language/decreasing_call.bend:113

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

113# What a case below `parent` takes apart, if `node` is one and `parent` its match.
114def known.at(
115  parent: Maybe<&2, Lint.Node>,
116  node: Lint.Node,
117  smaller: List<&2, Smaller>
118) -> List<&2, Smaller>:
119  match parent node:
120    case Some{
121      Lint.Node{Lint.Match{}, mn, ms, scrutinees, mf}
122    } Lint.Node{Lint.Case{}, n, s, patterns, f}:
123      taken(
124        Lint.Node.scrutinees(Lint.Node{Lint.Match{}, mn, ms, scrutinees, mf}),
125        patterns,
126        smaller
127      )
128    case _ _:
129      smaller