Transition to @safe by default

[bachmeier]

On Monday, 29 July 2024 at 16:40:52 UTC, Walter Bright wrote:

> This will not make the code safe by default. But it will make 
> code a lot safer by default, and will provide a transition 
> path. Code passing this will be a lot easier to transition to 
> full safety.

I don't know what problem this would solve. My understanding of 
those wanting safe by default is that it would not move the 
needle at all relative to what's already in the language.

Is there something wrong with

1. Adding a symbol to denote that you want your code to compile 
even though you haven't verified that it's safe. You can use that 
during the transition.
2. Adding a `-safe` switch that won't compile if anything in your 
program is marked with (1). Then people that want safe actually 
get safe.