def report_nar

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

import Base
import bolt@1.27.0.0/src/finding.bend as F

817# the finding, when this is the first narrow site of a duplicated call
818def report_nar(
819  +nar: Bool,
820  +prior: Bool,
821  +name: String,
822  +line: U32,
823  +col: U32,
824  +len: U32,
825  +path: String
826) -> List<&2, F.Finding>:
827  match nar:
828    case False{}:
829      Nil{}
830    case True{}:
831      report_fresh(prior, name, line, col, len, path)