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 ?
