Vision for the D language - stabilizing complexity?

[Walter Bright via Digitalmars-d]

On 7/15/2016 8:25 PM, Andrew Godfrey wrote:
> I agree and I like mechanically checkable things. But I also like compiler
> features that mix mechanical checking with the ability to attest to something
> that can't be mechanically checked. Like the @system attribute. So this line of
> reasoning feels incomplete to me. Are we talking here about immutable/const only
> within the context of @safe code? If so, then I missed that but I get it.

Since casting away immutable/const is allowed in @system code, yes, I am 
referring to @safe code here.