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

File:

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

src/ResolvExpr/Unify.cpp

@@ -292 +292 @@
                 if ( !array2 ) return;
 
-                // Permit cases where one side has a dimension or isVarLen,
-                // while the other side is the opposite.
-                // Acheves a wildcard-iterpretation semantics, where lack of
-                // dimension (`float a[]` or `float a[25][*]`) means
-                // "anything here is fine."
-                // Sole known case where a verbatim-match semantics is intended
-                // is typedef redefinition, for which extra checking is added
-                // in src/Validate/ReplaceTypedef.cpp.
-
-                if ( array->dimension && array2->dimension ) {
+                if ( array->isVarLen != array2->isVarLen ) return;
+                if ( (array->dimension != nullptr) != (array2->dimension != nullptr) ) return;
+
+                if ( array->dimension ) {
                         assert( array2->dimension );
                         // type unification calls expression unification (mutual recursion)