Chars.report: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/perf/chars.bend as Chars
Lines 46-51 of bolt@1.27.0.0/src/rules/perf/chars.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/perf/chars.bend&start_line=46&end_line=51

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

# a finding when the match holds more character literals than is cheap
def report(+nn: U32, +path: String, +ll: U32, +cc: U32) -> List<&2, F.Finding>:
  Bool.pick(List<&2, F.Finding>, U32.is_gt(nn, 8),
    [F.Finding{path, ll, cc, 5, "chars", "This match has " ++ U32.show(nn)
      ++ " character-literal cases, over the limit of 8, which blows up compile time and memory; compare Char.to_u32(c) instead."}],
    [])

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  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=Base/base.bend&name=U32.is_gt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.show
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/finding.bend&name=Finding