Escape analysis

[Walter Bright]

Robert Fraser wrote:
> I get the feeling that D's type system is going to become the joke of
> the programming world. Are we really going to have to worry about a
> scope unshared(invariant(int)*) ...? What other type modifiers can we
> put on that?

That argues that "noscope" should be the default. Using "scope" would be 
an optional optimization.

BTW, "unshared" is the default. "shared" would be the keyword.