Le 18/06/2012 16:43, Andrei Alexandrescu a écrit :
On 6/18/12 7:43 AM, 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.
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.
I don't think that's the correct explanation.
Andrei
I fail to understand what you mean here. This post ins't supposed to
explain anything. I've however made other posts to explain why
transitivity is broken when it comes to delegate.
