DIP 1016--ref T accepts r-values--Formal Assessment

[Olivier FAURE]

On Thursday, 31 January 2019 at 21:44:53 UTC, jmh530 wrote:
> It doesn't compile with dip1000 without first giving the getter 
> functions a return attribute for this.

But it still compiles with -dip1000 once you give x() and y() 
return attributes, even though what's happening is clearly 
different from what the user wants (and the compiler has enough 
info to know that).