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

File:

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

src/ResolvExpr/Unify.cpp

@@ -292 +292 @@
                 if ( !array2 ) return;
 
-                if ( array->isVarLen != array2->isVarLen ) return;
-                if ( (array->dimension != nullptr) != (array2->dimension != nullptr) ) return;
-
-                if ( array->dimension ) {
+                // 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 ) {
                         assert( array2->dimension );
                         // type unification calls expression unification (mutual recursion)