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

[Sebastiaan Koppe]

On Sunday, 22 September 2019 at 02:29:49 UTC, Mike Franklin wrote:
> So, there's an inconsistency.

I don't think there is.

I think that taking a reference of a local variable should result 
in a scope T*.

In that case `&value` in `y ~= getValue1(&value);` should result 
in a scope int*.