Rewalk.report: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/pedantic/rewalk.bend as Rewalk
Lines 857-864 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=857&end_line=864

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

# the first narrow site of each duplicated call
def report(rs: List<&2, Rated>, +all: List<&2, Rated>, +path: String, +seen: List<&2, Rated>) -> List<&2, F.Finding>:
  match rs:
    case Nil{}:
      Nil{}
    case Con{+r, rest}:
      +mine = report_one(r, all, path, seen)
      List.append(&2, F.Finding, mine, report(rest, all, path, r <> seen))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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=report_one