Rename Owned to Static, Send to Owned

[brson]

r? @graydon
#3542

Although reception to this in the weekly meeting was pretty indifferent, I do think this is more consistent.

Note that Static will probably go away eventually.

[graydon]

Static is not the right word here. Lemme consult with a thesaurus for a moment...

(the "Owned" part is fine)

[graydon]

Stable, Durable or Enduring are ok by me, maybe other synonyms? static is currently used as a region, to refer to stuff in the read-only segment of memory. While it's true that this overlaps with the word const and the kind Const, fixing that is another bug. Adding another use for Static won't make the situation any prettier :(

@catamorphism points out that "stable" often means "GC won't move it", though I'm not sure that's something we'll be able to promise of @-containing values ever, and on others it's meaningless, so..

[brson]

I like the sound of Durable over Enduring. I`ll rewrite the patch to use that unless something better comes up.

[nikomatsakis]

I kind of prefer Static, in the sense that the meaning of this trait is (or ought to be) "no borrowed pointers except ones with static lifetime". Durable and Enduring don't give me much intuition. All that said I'd prefer if this were not a trait as @brson said.

[bstrie]

Maybe it's time to bite the bullet and just call it NotBorrowed? Or maybe it's time to consult non-English languages for appropriate words and put those Unicode identifiers to use.

[brson]

@nikomatsakis has agreed that Durable is fine, considering that we intend to remove the kind anyway. Yay, consensus!