Fixed ConstantArrayType::isSuperTypeOf()

Author: ondrejmirtes

src/Type/Constant/ConstantArrayType.php

@@ -121,14 +121,21 @@ public function accepts(Type $type, bool $strictTypes): TrinaryLogic
 	public function isSuperTypeOf(Type $type): TrinaryLogic
 	{
 		if ($type instanceof self) {
-			if (count($this->keyTypes) !== count($type->keyTypes)) {
-				return TrinaryLogic::createNo();
+			if (count($this->keyTypes) === 0) {
+				if (count($type->keyTypes) > 0) {
+					return TrinaryLogic::createNo();
+				}
+
+				return TrinaryLogic::createYes();
 			}
 
 			$results = [];
-			foreach (array_keys($this->keyTypes) as $i) {
-				$results[] = $this->keyTypes[$i]->isSuperTypeOf($type->keyTypes[$i]);
-				$results[] = $this->valueTypes[$i]->isSuperTypeOf($type->valueTypes[$i]);
+			foreach ($this->keyTypes as $i => $keyType) {
+				$hasOffset = $type->hasOffsetValueType($keyType);
+				if ($hasOffset->no()) {
+					return TrinaryLogic::createNo();
+				}
+				$results[] = $this->valueTypes[$i]->isSuperTypeOf($type->getOffsetValueType($keyType));
 			}
 
 			return TrinaryLogic::createYes()->and(...$results);

tests/PHPStan/Rules/Comparison/StrictComparisonOfDifferentTypesRuleTest.php

@@ -118,10 +118,6 @@ public function testStrictComparison(): void
 					'Strict comparison using === between array(\'X\' => 1, \'Y\' => 2) and array(\'X\' => 2, \'Y\' => 1) will always evaluate to false.',
 					300,
 				],
-				[
-					'Strict comparison using === between array(\'X\' => 1, \'Y\' => 2) and array(\'Y\' => 2, \'X\' => 1) will always evaluate to false.',
-					308,
-				],
 				[
 					'Strict comparison using === between \'/\'|\'\\\\\' and \'//\' will always evaluate to false.',
 					320,
@@ -300,10 +296,6 @@ public function testStrictComparisonWithoutAlwaysTrue(): void
 					'Strict comparison using === between array(\'X\' => 1, \'Y\' => 2) and array(\'X\' => 2, \'Y\' => 1) will always evaluate to false.',
 					300,
 				],
-				[
-					'Strict comparison using === between array(\'X\' => 1, \'Y\' => 2) and array(\'Y\' => 2, \'X\' => 1) will always evaluate to false.',
-					308,
-				],
 				[
 					'Strict comparison using === between \'/\'|\'\\\\\' and \'//\' will always evaluate to false.',
 					320,

tests/PHPStan/Rules/Methods/data/method-signature.php

@@ -457,3 +457,27 @@ public function processNode(\PhpParser\Node $node): void
 	}
 
 }
+
+interface ConstantArrayInterface
+{
+
+	/**
+	 * @return array{foo: string}
+	 */
+	public function foobar(): array;
+
+}
+
+class ConstantArrayClass implements ConstantArrayInterface
+{
+	/**
+	 * @return array{foo: string, bar: string}
+	 */
+	public function foobar(): array
+	{
+		return [
+			'foo' => '',
+			'bar' => '',
+		];
+	}
+}

tests/PHPStan/Type/Constant/ConstantArrayTypeTest.php

@@ -188,6 +188,38 @@ public function dataIsSuperTypeOf(): iterable
 			new IterableType(new MixedType(false), new MixedType(true)),
 			TrinaryLogic::createMaybe(),
 		];
+
+		yield [
+			new ConstantArrayType([
+				new ConstantStringType('foo'),
+			], [
+				new IntegerType(),
+			]),
+			new ConstantArrayType([
+				new ConstantStringType('foo'),
+				new ConstantStringType('bar'),
+			], [
+				new IntegerType(),
+				new IntegerType(),
+			]),
+			TrinaryLogic::createYes(),
+		];
+
+		yield [
+			new ConstantArrayType([
+				new ConstantStringType('foo'),
+				new ConstantStringType('bar'),
+			], [
+				new IntegerType(),
+				new IntegerType(),
+			]),
+			new ConstantArrayType([
+				new ConstantStringType('foo'),
+			], [
+				new IntegerType(),
+			]),
+			TrinaryLogic::createNo(),
+		];
 	}
 
 	/**