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

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

# the finding when no earlier narrow site took this call
def report_fresh(
  +prior: Bool,
  +name: String,
  +line: U32,
  +col: U32,
  +len: U32,
  +path: String
) -> List<&2, F.Finding>:
  match prior:
    case False{}:
      [F.Finding{path, line, col, len, "rewalk",
        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."}]
    case True{}:
      Nil{}

Uses (6):
  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=String.append
  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