Type Inference Bug?

[Meta via Digitalmars-d]

On Friday, 21 November 2014 at 19:19:20 UTC, Daniel Murphy wrote:
>> Furthermore, I'm starting to get very confused:
>>
>> enum sameTypes(T, U) = is(T: U) && is(U: T);
>>
>> assert(sameTypes!(const int, immutable int)); //Ok, wtf?
>> assert(sameTypes!(int, immutable int); //Ok, wtf?
>
> All of those types implicitly convert to each other.

Yes, right, as they are POD value types. I'm not sure I like 
that, as it can't be guaranteed that T1 and T2 are the same type 
if is(T1: T2) && is(T2: T1) are true... I will submit a bug 
report regarding my original issue, anyway.