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.
