Twice.same: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/correctness/twice.bend as Twice
Lines 42-51 of bolt@1.27.0.0/src/rules/correctness/twice.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/correctness/twice.bend&start_line=42&end_line=51

import Base
import bolt@1.27.0.0/src/finding.bend as F
import bolt@1.27.0.0/src/syntax/lex.bend as Lex
import bolt@1.27.0.0/src/rules/tokens.bend as T

# a finding at the second literal when it repeats the first
def same(aa: Maybe<&2, Lex.Tok>, bb: Maybe<&2, Lex.Tok>, +path: String) -> List<&2, F.Finding>:
  match aa bb:
    case Some{Lex.Tok{k, +t, l, c}} Some{Lex.Tok{k2, +t2, l2, c2}}:
      Bool.pick(List<&2, F.Finding>, String.eq(t, t2),
        [F.Finding{path, l2, c2, T.width(t2), "twice",
          "This literal appears twice in one list pattern, which makes the checker hang; match one element per step."}],
        [])
    case a2 b2:
      []

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=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  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/tokens.bend&name=width
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/lex.bend&name=Tok