test offset-access on int types

Author: staabm

tests/PHPStan/Rules/Arrays/NonexistentOffsetInArrayDimFetchRuleTest.php

@@ -864,4 +864,18 @@ public function testBug10997(): void
 		]);
 	}
 
+	public function testBug11572(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-11572.php'], [
+			[
+				'Cannot access an offset on int.',
+				45,
+			],
+			[
+				'Cannot access an offset on int<3, 4>.',
+				46,
+			],
+		]);
+	}
+
 }

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

@@ -36,3 +36,12 @@ function doFoo() {
 		$s[] = 'foo';
 	}
 }
+
+/**
+ * @param int<3,4> $range
+ */
+function doInt(int $i, $range): void
+{
+	$i[] = 1;
+	$range[] = 1;
+}