#non-copyable

Swift pitch proposes @called(once) for one-shot function values

The attribute would let the compiler enforce at-most-once calls and reason about closure captures alongside non-copyable types.