def arm
import bolt@1.27.0.0/src/rules/correctness/twice.bend as Twiceimport Base
import bolt@1.27.0.0/src/finding.bend as F
import bolt@1.27.0.0/src/syntax/tree.bend as Tree
53# a case statement's pattern, checked
54def arm(+pat: Tree.Node, +path: String) -> List<&2, F.Finding>:
55 same(head(pat), head(tail(pat)), path)