Discussion Thread: DIP 1028--Make @safe the Default--Final Review

[Steven Schveighoffer]

On 3/26/20 7:31 PM, Arine wrote:
> There are problems with @system:, they are outlined in great detail in 
> the first review thread (just as @safe: has the same issues)

They are not the same issues.

If you put @safe: at the top, you get no inference of templates, so 
those that could compile as @system code cannot compile now.

@system does indeed turn off inference, but there are less restrictions 
for @system. So more stuff can compile.

If you don't care, then just put @system: at the top. On the off chance 
that something needs to be @safe (like a lambda), mark it @trusted.

-Steve