Type Inference Bug?

[Daniel Murphy via Digitalmars-d]

"Meta"  wrote in message news:wkhobsfnumjpyyrpdxkb at forum.dlang.org...

> 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.

I'd use is(Unqual!T1 == Unqual!T2) to check for type equality ignoring 
qualifiers.