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

Olivier FAURE couteaubleu at gmail.com
Thu Jan 31 21:50:19 UTC 2019

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).

More information about the Digitalmars-d-announce mailing list