Understanding DIP 1000 semantics -- Where's the bug?

Jacob Carlborg doob at me.com
Sun Sep 22 16:34:36 UTC 2019


On 2019-09-22 13:42, Mike Franklin wrote:

> Actually, ag0aep6g's demonstration at 
> https://forum.dlang.org/post/qm7cib$2n07$1@digitalmars.com proves that 
> statement false.  Unless it is a bug in the compiler that one can 
> convert a `ref` to a pointer in `@safe` code.

That might be a bug in the compiler. Adding `scope` to the reference 
doesn't help.

But with DIP1000, there's some documentation missing and I think only 
Walter knows how it should behave.

-- 
/Jacob Carlborg


More information about the Digitalmars-d mailing list