Merge pull request #70 from 9rnsr/relax_opEquals_sig

Supplemental changes of dmd/pull/373

import/object.di

@@ -503,5 +503,7 @@ bool _ArrayEq(T1, T2)(T1[] a1, T2[] a2)
     return true;
 }
 
+bool _xopEquals(in void* ptr, in void* ptr);
+
 void __ctfeWriteln(T...)(auto ref T) {}
 

src/object_.d

@@ -941,12 +941,12 @@ class TypeInfo_Struct : TypeInfo
 
     override equals_t equals(in void* p1, in void* p2)
     {
-        if (p1 == p2)
-            return true;
-        else if (!p1 || !p2)
+        if (!p1 || !p2)
             return false;
         else if (xopEquals)
             return (*xopEquals)(p1, p2);
+        else if (p1 == p2)
+            return true;
         else
             // BUG: relies on the GC not moving objects
             return memcmp(p1, p2, init.length) == 0;
@@ -1024,6 +1024,19 @@ class TypeInfo_Struct : TypeInfo
     }
 }
 
+unittest
+{
+    struct S
+    {
+        const bool opEquals(ref const S rhs)
+        {
+            return false;
+        }
+    }
+    S s;
+    assert(!typeid(S).equals(&s, &s));
+}
+
 class TypeInfo_Tuple : TypeInfo
 {
     TypeInfo[] elements;
@@ -2781,3 +2794,7 @@ bool _ArrayEq(T1, T2)(T1[] a1, T2[] a2)
 }
 
 
+bool _xopEquals(in void*, in void*)
+{
+    throw new Error("TypeInfo.equals is not implemented");
+}

win32.mak

@@ -799,7 +799,7 @@ $(DRUNTIME): $(OBJS) $(SRCS) win32.mak
 	$(DMD) -lib -of$(DRUNTIME) -Xfdruntime.json $(DFLAGS) $(SRCS) $(OBJS)
 
 unittest : $(SRCS) $(DRUNTIME) src\unittest.d
-	$(DMD) $(UDFLAGS) -L/co -unittest src\unittest.d $(SRCS) $(DRUNTIME) -debuglib=$(DRUNTIME_BASE) -defaultlib=$(DRUNTIME_BASE)
+	$(DMD) $(UDFLAGS) -L/co -unittest src\unittest.d $(SRCS) $(DRUNTIME) -debuglib=$(DRUNTIME) -defaultlib=$(DRUNTIME)
 
 zip: druntime.zip