def message

bend-lint-rules@0.2.0.0 · language/reused_binder.bend:26

import Base

26# Functions
27# =========
28def message(+name: String) -> String:
29  name
30    ++ " 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 `+"
31    ++ name
32    ++ "` 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."