Fix accessing offset with object

Author: VincentLanglet

src/Type/ArrayType.php

@@ -268,6 +268,9 @@ public function looseCompare(Type $type, PhpVersion $phpVersion): BooleanType
 	public function hasOffsetValueType(Type $offsetType): TrinaryLogic
 	{
 		$offsetType = $offsetType->toArrayKey();
+		if ($offsetType instanceof ErrorType) {
+			return TrinaryLogic::createNo();
+		}
 
 		if ($this->getKeyType()->isSuperTypeOf($offsetType)->no()
 			&& ($offsetType->isString()->no() || !$offsetType->isConstantScalarValue()->no())

src/Type/Constant/ConstantArrayType.php

@@ -588,6 +588,10 @@ public function hasOffsetValueType(Type $offsetType): TrinaryLogic
 
 	private function recursiveHasOffsetValueType(Type $offsetType): TrinaryLogic
 	{
+		if ($offsetType instanceof ErrorType) {
+			return TrinaryLogic::createNo();
+		}
+
 		if ($offsetType instanceof UnionType) {
 			$results = [];
 			foreach ($offsetType->getTypes() as $innerType) {

src/Type/ObjectType.php

@@ -702,7 +702,7 @@ public function toArray(): Type
 
 	public function toArrayKey(): Type
 	{
-		return $this->toString();
+		return new ErrorType();
 	}
 
 	public function toCoercedArgumentType(bool $strictTypes): Type

src/Type/Traits/ObjectTypeTrait.php

@@ -271,7 +271,7 @@ public function toArray(): Type
 
 	public function toArrayKey(): Type
 	{
-		return new StringType();
+		return new ErrorType();
 	}
 
 	public function toCoercedArgumentType(bool $strictTypes): Type

tests/PHPStan/Rules/Arrays/NonexistentOffsetInArrayDimFetchRuleTest.php

@@ -921,6 +921,20 @@ public function testBug12593(): void
 		$this->analyse([__DIR__ . '/data/bug-12593.php'], []);
 	}
 
+	public function testBugObject(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-object.php'], [
+			[
+				'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,
+			]
+		]);
+	}
+
 	public function testBug3747(): void
 	{
 		$this->analyse([__DIR__ . '/data/bug-3747.php'], []);

tests/PHPStan/Rules/Arrays/data/bug-object.php

@@ -0,0 +1,23 @@
+<?php
+
+namespace BugObject;
+
+class B {
+	/**
+	 * @param array{baz: 21}|array{foo: 17, bar: 19} $array
+	 * @param int|object $key
+	 */
+	public function foo($array, $key)
+	{
+		$array[$key];
+	}
+
+	/**
+	 * @param array<string, int> $array
+	 * @param object $key
+	 */
+	public function foo2($array, $key)
+	{
+		$array[$key];
+	}
+}