On Thursday, 11 July 2013 at 18:49:27 UTC, Meta wrote:
It seems you're right. That's disappointing. TDPL talks about alias this in terms of subtyping, but doesn't the above code show that this is not true subtyping?
Actually, scratch that, I'm an idiot. I was thinking completely backwards.
