def report_fresh

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

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

801# the finding when no earlier narrow site took this call
802def report_fresh(
803  +prior: Bool,
804  +name: String,
805  +line: U32,
806  +col: U32,
807  +len: U32,
808  +path: String
809) -> List<&2, F.Finding>:
810  match prior:
811    case False{}:
812      [F.Finding{path, line, col, len, "rewalk",
813        name ++ " is called twice on the same argument, and one result is used only for a single value; take that value from the other result."}]
814    case True{}:
815      Nil{}