Rewalk.report_dup: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/pedantic/rewalk.bend as Rewalk
Lines 833-849 of bolt@1.27.0.0/src/rules/pedantic/rewalk.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/pedantic/rewalk.bend&start_line=833&end_line=849

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

# the finding when a duplicate exists and this site is the first narrow one
def report_dup(
  +dup: Bool,
  +nar: Bool,
  +name: String,
  +args: String,
  +line: U32,
  +col: U32,
  +len: U32,
  +path: String,
  +seen: List<&2, Rated>
) -> List<&2, F.Finding>:
  match dup:
    case False{}:
      Nil{}
    case True{}:
      report_nar(nar, earlier(seen, name, args, line, col), name, line, col, len, path)

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/finding.bend&name=Finding
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/pedantic/rewalk.bend&name=Rated
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/pedantic/rewalk.bend&name=earlier
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/pedantic/rewalk.bend&name=report_nar