Merge branch refs/heads/1.12.x into 2.1.x

Author: phpstan-bot

src/Analyser/MutatingScope.php

@@ -5140,7 +5140,7 @@ private function generalizeType(Type $a, Type $b, int $depth): Type
 				$constantArraysB = TypeCombinator::union(...$constantArrays['b']);
 				if (
 					$constantArraysA->getIterableKeyType()->equals($constantArraysB->getIterableKeyType())
-					&& $constantArraysA->getArraySize()->equals($constantArraysB->getArraySize())
+					&& $constantArraysA->getArraySize()->getGreaterOrEqualType()->isSuperTypeOf($constantArraysB->getArraySize())->yes()
 				) {
 					$resultArrayBuilder = ConstantArrayTypeBuilder::createEmpty();
 					foreach (TypeUtils::flattenTypes($constantArraysA->getIterableKeyType()) as $keyType) {