...no avoiding the fact that the the call site is only place where the proper...

...how to do this, I can understand the negative reactions to it.

If we are...

...that. It does not work. Here's the problem:

DMD has an essentially recursive nature...

If these are the goals, maybe it would make more sense for failed checks to...

...the stack if the stuff below it shifts from @system to @safe or @trusted.

The...

...I am on board with the goals and also the general direction. I noted two...

...safer under a flag for the time being, in the future it should become an...

...work. It doesn't work because of the transitive nature of @safe - you can't...

...happy with @system as the default.

The easiest way to satisfy the compiler when -preview...

Another thing is that the error messages are bad: it says "cannot do X in...