def other_go

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

import Base

777# another site has the same callee and the same arguments, and keeps the whole result
778def other_go(rs: List<&2, Rated>, +name: String, +args: String, +line: U32, +col: U32) -> Bool:
779  match rs:
780    case Nil{}:
781      False{}
782    case Con{Rated{Site{+nm, +as, +l, +c, len, how}, +nar}, rest}:
783      +same = Bool.and(String.eq(nm, name), String.eq(as, args))
784      +diff = Bool.not(Bool.and(U32.is_eq(l, line), U32.is_eq(c, col)))
785      +here = Bool.and(Bool.and(same, diff), Bool.not(nar))
786      +more = other_go(rest, name, args, line, col)
787      Bool.or(here, more)