`@safe` by default. What about `@pure` and `immutable` by default?

[Adam D. Ruppe]

On Friday, 19 April 2019 at 12:23:08 UTC, Andrei Alexandrescu 
wrote:
> (There's opting out of @safe by using @system or @trusted.)

This still doesn't work correctly for templates, which should be 
inferred based on input, not forced one way or another.

We should be doing

attr(true | false | null)

three way!


But yeah, that's where I would focus too. Then your modules can 
opt in pretty easily.