Rebooting the __metada/__mutable discussion

Paul Backus snarwin at gmail.com
Fri Apr 8 01:24:38 UTC 2022


On Friday, 8 April 2022 at 00:37:15 UTC, Zach Tollen wrote:
> (With DIP1035, mutability is essential to what makes a given 
> piece of data dangerous enough require being marked `@system`. 
> And the whole point of `__metadata` is to force mutability 
> bypassing the type system.)

This is not entirely true. DIP 1035 also specifies that variables 
whose initial values would not be allowed in `@safe` code are 
inferred as `@system`, and this applies equally to mutable and 
`immutable` variables.


More information about the Digitalmars-d mailing list