Use Type->isInteger() over $dimType instanceof ConstantIntegerType

staabm · staabm · commit 2c99b96193d7 · 2025-07-26T11:38:52.000+02:00
diff --git a/src/Analyser/MutatingScope.php b/src/Analyser/MutatingScope.php
@@ -4238,7 +4238,7 @@ public function specifyExpressionType(Expr $expr, Type $type, Type $nativeType,
 						new ObjectType(ArrayAccess::class),
 						new NullType(),
 					];
-					if ($dimType instanceof ConstantIntegerType) {
+					if ($dimType->isInteger()->yes()) {
 						$types[] = new StringType();
 					}
 

Original file line number	Diff line number	Diff line change
`@@ -4238,7 +4238,7 @@ public function specifyExpressionType(Expr $expr, Type $type, Type $nativeType,`
`4238`	`4238`	`new ObjectType(ArrayAccess::class),`
`4239`	`4239`	`new NullType(),`
`4240`	`4240`	`];`
`4241`		`- if ($dimType instanceof ConstantIntegerType) {`
	`4241`	`+ if ($dimType->isInteger()->yes()) {`
`4242`	`4242`	`$types[] = new StringType();`
`4243`	`4243`	`}`
`4244`	`4244`