Put.calls.one: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/correctness/put.bend as Put
Lines 47-60 of bolt@1.27.0.0/src/rules/correctness/put.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/correctness/put.bend&start_line=47&end_line=60

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

# a dotted name then an open bracket: a finding when they are `Map.put` and
# `(`, before what the rest reports
def calls.one(
  +tt: String,
  +oo: String,
  +ll: U32,
  +cc: U32,
  +path: String,
  +more: List<&2, F.Finding>
) -> List<&2, F.Finding>:
  Bool.pick(List<&2, F.Finding>, Bool.and(String.eq(tt, "Map.put"), String.eq(oo, "(")),
    F.Finding{path, ll, cc, 7, "put", "Map.put does not compare keys, so a new key can overwrite an existing entry; use Map.set."}
      <> more,
    more)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  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.eq
  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