Changes in src/ResolvExpr/Unify.cpp [d3aa55e9:b6f2e7ab]

File:

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

src/ResolvExpr/Unify.cpp

@@ -234 +234 @@
                         if ( !e2so ) return;
 
-                        assert((e1->type != nullptr) ^ (e1->expr != nullptr));
-                        assert((e2so->type != nullptr) ^ (e2so->expr != nullptr));
-                        if ( !(e1->type && e2so->type) ) return;
-
                         // expression unification calls type unification (mutual recursion)
                         result = unifyExact( e1->type, e2so->type, tenv, need, have, open, widen );