ReusedBinder.message: def of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/language/reused_binder.bend as ReusedBinder
Lines 26-32 of bend-lint-rules@0.2.0.0/language/reused_binder.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/language/reused_binder.bend&start_line=26&end_line=32

import Base

# Functions
# =========
def message(+name: String) -> String:
  name
    ++ " is used again here, on the same path as an earlier use, but it is declared without `+`, so it can be used once on each path, and the check fails (\"consumed more than once\"). If its type is Data, write `+"
    ++ name
    ++ "` where it is declared (it then carries a reference count at run time); else use it once: a function, an array or an IO handle can never be copied. This is a false positive if one of the uses is an argument for an erased parameter (`-x`, as a proof's motive often is): that is dead code."

Uses (2):
  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