@_effects(notEscaping self.**)
What is this doing? I noticed it while looking at the Array implementation in the standard library, and it doesn't seem to be documented here.
Does this promise to the compiler the parameters of a function don't escape?
