How to break const

[Mehrdad]

On Monday, 18 June 2012 at 12:43:04 UTC, deadalnix wrote:
> Le 18/06/2012 07:36, Mehrdad a écrit :
>> Is it just me, or did I subvert the type system here?
>>
>
> delegate fail to ensure transitivity of type qualifier. This is 
> no news. This is however a big error.


Oh lol :( thought I'd discovered something.

Well in that case, shouldn't the system protect itself then?

Otherwise it seems like 'const' in D becomes just like C++ const 
(doesn't let you "prove" anything)...


> I proposed a fix to that by changing the semantic of the type 
> qualifier depending on its position in the declaration, but 
> didn't received much feedback at the time.

Interesting!