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.