Discussion Thread: DIP 1035-- at system Variables--Community Review Round 2

Tue Mar 2 14:28:43 UTC 2021

On Tuesday, 2 March 2021 at 14:09:01 UTC, Paul Backus wrote:
> Good point. For user-defined unsafe types like ShortString, the 
> compiler will have to assume that any value that can be 
> obtained in @safe code is a safe value.

But what about determining `@safe`ty of value given by `@system` 
initializer? Is it just not attempted for user-defined types? Or 
is the rule "`.init` value is `@safe`, everything else is 
`@system`"? Or something more complicated?