Both safe and wrong?

[Luís Marques]

On Monday, 4 February 2019 at 00:31:36 UTC, ag0aep6g wrote:
> Maybe even more peculiar than globals, you also can't mark 
> parameter default values as @safe:

Yup, clearly @safe's scope could be expanded. I don't know how 
problematic that would be with D's current design...? I use @safe 
so little (because most of the times I've tried to use it I ran 
into annoying limitations) I'm quite out of touch with its 
details. In fact, that's how this whole thread started. I was 
thinking about some possible changes to the type system and it 
wasn't quite clear to me how that interacted with @safe, because 
I don't use it enough.