www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.bugs - [Issue 20579] New: TypeInfo.opEquals is broken

https://issues.dlang.org/show_bug.cgi?id=20579

          Issue ID: 20579
           Summary: TypeInfo.opEquals is broken
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P1
         Component: druntime
          Assignee: nobody puremagic.com
          Reporter: rmanth gmail.com

struct A(T) {}
template B(T) {
    struct C {}
}

void main() {
    assert(typeid(A!(B!int.C)) != typeid(A!(B!string.C))); // assertion
failure!
}

This fails on all platforms. The problem is the attempted fix for
TypeInfo.opEquals for DLLs falls back to comparing non-unique strings like
TypeInfo_Struct.name.

This doesn't help anyway since casting is broken for Windows DLLs, so it just
breaks things by creating false-positives in other cases.

--
Feb 13