On 02/03/2013 02:00 PM, kenji hara wrote:
2013/2/3 Steven Schveighoffer <[email protected] <mailto:[email protected]>> ...I thought of one other problem with this proposal. You can no longer get a delegate of a property. Like it or not, there will be existing code that does get a delegate to properties (it is allowed now). I think we should provide a __traits accessor for this. Otherwise, there is no way to port said code to the new style. On the contrary with you, I was read that we no longer get an address of ref returned value by address-op. @property ref int foo(); static assert(is(typeof(&foo) == ref int function())); // typeof does not return int* If I am correct, there is no need for special enhancement like __traits.
The DIP actually misses to address this case.
