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

[Dukc]

On Tuesday, 2 March 2021 at 02:46:58 UTC, Paul Backus on the 
feedback thread wrote:
> On Monday, 1 March 2021 at 23:38:28 UTC, Dukc wrote:
>> Which leads to, what are the values compiler considers to be 
>> safe?
>
> The answer to this question is is already part of the language 
> spec:
>
> https://dlang.org/spec/function.html#safe-values

Yes, you can use that. But the dip needs to update that part of 
the spec, since what is going to be a safe struct instance / 
union instance / class ref value is changing. For instance, what 
the compiler will consider safe values for the `ShortString` 
struct provided in the example?