On Monday, 16 December 2013 at 00:53:21 UTC, Walter Bright wrote:
On 12/15/2013 4:22 PM, jerro wrote:
You, as the guy who wrote the code, will (or should) know that there are no other live references, hence you are telling the compiler "trust me, I know
there aren't any".

So, is the intended meaning the following: If there exist any immutable references to the data, mutating it results in undefined behavior? If so, I think the documentation on creating immutable data should explicitly say so.


Good idea. I suggest writing a pull request against the documentation for this.

That is a bad idea as it preclude any GC optimization based on immutability.

Reply via email to