Fix ArrayType::hasOffsetValueType

Author: VincentLanglet

src/Type/ArrayType.php

@@ -272,6 +272,9 @@ public function hasOffsetValueType(Type $offsetType): TrinaryLogic
 		if ($offsetArrayKeyType instanceof ErrorType) {
 			$allowedArrayKeys = AllowedArrayKeysTypes::getType();
 			$offsetArrayKeyType = TypeCombinator::intersect($allowedArrayKeys, $offsetType)->toArrayKey();
+			if ($offsetArrayKeyType instanceof NeverType) {
+				return TrinaryLogic::createNo();
+			}
 		}
 		$offsetType = $offsetArrayKeyType;
 

src/Type/Constant/ConstantArrayType.php

@@ -586,6 +586,9 @@ public function hasOffsetValueType(Type $offsetType): TrinaryLogic
 		if ($offsetArrayKeyType instanceof ErrorType) {
 			$allowedArrayKeys = AllowedArrayKeysTypes::getType();
 			$offsetArrayKeyType = TypeCombinator::intersect($allowedArrayKeys, $offsetType)->toArrayKey();
+			if ($offsetArrayKeyType instanceof NeverType) {
+				return TrinaryLogic::createNo();
+			}
 		}
 
 		return $this->recursiveHasOffsetValueType($offsetArrayKeyType);

tests/PHPStan/Rules/Arrays/NonexistentOffsetInArrayDimFetchRuleTest.php

@@ -949,6 +949,10 @@ public function testBugObject(): void
 				'Offset int|object does not exist on array{baz: 21}|array{foo: 17, bar: 19}.',
 				12,
 			],
+			[
+				'Offset object does not exist on array<string, int>.',
+				21,
+			],
 		]);
 	}
 

tests/PHPStan/Type/ArrayTypeTest.php

@@ -269,4 +269,36 @@ public function testResolveTemplateTypes(Type $received, Type $template, array $
 		);
 	}
 
+	public static function dataHasOffsetValueType(): array
+	{
+		return [
+			[
+				new ArrayType(new BenevolentUnionType([
+					new IntegerType(),
+					new StringType(),
+				]), new IntegerType()),
+				new ArrayType(new BenevolentUnionType([
+					new IntegerType(),
+					new StringType(),
+				]), new IntegerType()),
+				TrinaryLogic::createNo(),
+			],
+		];
+	}
+
+	#[DataProvider('dataHasOffsetValueType')]
+	public function testHasOffsetValueType(
+		ArrayType $type,
+		Type $offsetType,
+		TrinaryLogic $expectedResult,
+	): void
+	{
+		$actualResult = $type->hasOffsetValueType($offsetType);
+		$this->assertSame(
+			$expectedResult->describe(),
+			$actualResult->describe(),
+			sprintf('%s -> hasOffsetValueType(%s)', $type->describe(VerbosityLevel::precise()), $offsetType->describe(VerbosityLevel::precise())),
+		);
+	}
+
 }

tests/PHPStan/Type/Constant/ConstantArrayTypeTest.php

@@ -1044,4 +1044,30 @@ public function testValuesArray(ConstantArrayType $type, ConstantArrayType $expe
 		$this->assertSame($expectedType->getNextAutoIndexes(), $actualType->getNextAutoIndexes());
 	}
 
+	public static function dataHasOffsetValueType(): array
+	{
+		return [
+			[
+				new ConstantArrayType([new ConstantIntegerType(0)], [new ConstantStringType('a')]),
+				new ConstantArrayType([new ConstantIntegerType(0)], [new ConstantStringType('a')]),
+				TrinaryLogic::createNo(),
+			],
+		];
+	}
+
+	#[DataProvider('dataHasOffsetValueType')]
+	public function testHasOffsetValueType(
+		ConstantArrayType $type,
+		Type $offsetType,
+		TrinaryLogic $expectedResult,
+	): void
+	{
+		$actualResult = $type->hasOffsetValueType($offsetType);
+		$this->assertSame(
+			$expectedResult->describe(),
+			$actualResult->describe(),
+			sprintf('%s -> hasOffsetValueType(%s)', $type->describe(VerbosityLevel::precise()), $offsetType->describe(VerbosityLevel::precise())),
+		);
+	}
+
 }