def report_dup

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

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

833# the finding when a duplicate exists and this site is the first narrow one
834def report_dup(
835  +dup: Bool,
836  +nar: Bool,
837  +name: String,
838  +args: String,
839  +line: U32,
840  +col: U32,
841  +len: U32,
842  +path: String,
843  +seen: List<&2, Rated>
844) -> List<&2, F.Finding>:
845  match dup:
846    case False{}:
847      Nil{}
848    case True{}:
849      report_nar(nar, earlier(seen, name, args, line, col), name, line, col, len, path)