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