Changes in src/ResolvExpr/Unify.cc [7a63486:d286cf68]

File:

• src/ResolvExpr/Unify.cc (modified) (1 diff)

src/ResolvExpr/Unify.cc

@@ -172 +172 @@
                 bool isopen2 = var2 && ( entry2 != openVars.end() );
 
-                if ( isopen1 && isopen2 ) {
-                        if ( entry1->second.kind != entry2->second.kind ) {
-                                result = false;
-                        } else {
-                                result = env.bindVarToVar( 
-                                        var1, var2, TypeDecl::Data{ entry1->second, entry2->second }, needAssertions, 
-                                        haveAssertions, openVars, widenMode, indexer );
-                        }
+                if ( isopen1 && isopen2 && entry1->second == entry2->second ) {
+                        result = env.bindVarToVar( var1, var2, entry1->second, needAssertions, haveAssertions, openVars, widenMode, indexer );
                 } else if ( isopen1 ) {
                         result = env.bindVar( var1, type2, entry1->second, needAssertions, haveAssertions, openVars, widenMode, indexer );