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!
