DIP30, delegates more destruction for your pleasure

[deadalnix]

On Thursday, 14 March 2013 at 16:01:28 UTC, Timon Gehr wrote:
> On 03/14/2013 04:41 PM, deadalnix wrote:
>> ...
>>
>> DIP updated.
>>
>
> Using a vastly different set of allowed/disallowed cases. Every 
> delegate type must implicitly convert to unqualified. Otherwise 
> attribute inference may break code that would be valid without.
> (this has to work differently with explicitly-typed contexts, 
> because those are not opaque.)
>

Can you elaborate on that please ? I fail to see the problem.

> I favour neither, but your approach removes all guarantees on 
> const.

Such guarantee can already be broken with aliasing so nothing new.

>> inout const isn't a valid type qualifier so I dropped it.
>
> I consider that a DMD bug.

What would be the semantic ?