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

[Mike Franklin]

On Sunday, 22 September 2019 at 11:03:29 UTC, Jacob Carlborg 
wrote:

> In Exhibit B, `i` is a reference and cannot escape the function 
> `getValue2`.

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.