DIP23 draft: Fixing properties redux

[Timon Gehr]

On 02/03/2013 02:00 PM, kenji hara wrote:
> 2013/2/3 Steven Schveighoffer <schveiguy at yahoo.com
> <mailto:schveiguy at yahoo.com>>
>     ...
>
>     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.