def pinned

bolt@1.27.0.0 · src/rules/pedantic/rewalk.bend:720

import Base

720# this position was marked a collection argument
721def pinned(+line: U32, +col: U32, ps: List<&2, Pos>) -> Bool:
722  match ps:
723    case Nil{}:
724      False{}
725    case Con{Pos{l, c}, rest}:
726      +here = Bool.and(U32.is_eq(l, line), U32.is_eq(c, col))
727      +more = pinned(line, col, rest)
728      Bool.or(here, more)