Update bug-12933.php

staabm · staabm · commit 991bffd981ac · 2025-09-18T12:14:10.000+02:00
diff --git a/src/Rules/Arrays/AllowedArrayKeysTypes.php b/src/Rules/Arrays/AllowedArrayKeysTypes.php
@@ -8,7 +8,6 @@
 use PHPStan\Type\Constant\ConstantIntegerType;
 use PHPStan\Type\Constant\ConstantStringType;
 use PHPStan\Type\FloatType;
-use PHPStan\Type\IntegerRangeType;
 use PHPStan\Type\IntegerType;
 use PHPStan\Type\MixedType;
 use PHPStan\Type\NullType;
diff --git a/tests/PHPStan/Analyser/nsrt/bug-12933.php b/tests/PHPStan/Analyser/nsrt/bug-12933.php
@@ -36,4 +36,13 @@ public function issetNarrowsIntRange(int $index, string $name): void
 		assert(isset($this->list[$index]));
 		assertType('int<0, 5>', $index);
 	}
+
+	/**
+	 * @param int<5, 15> $index
+	 */
+	public function issetNotWidensIntRange(int $index, string $name): void
+	{
+		assert(isset($this->list[$index]));
+		assertType('int<5, 15>', $index);
+	}
 }

Original file line number	Diff line number	Diff line change
`@@ -36,4 +36,13 @@ public function issetNarrowsIntRange(int $index, string $name): void`
`36`	`36`	`assert(isset($this->list[$index]));`
`37`	`37`	`assertType('int<0, 5>', $index);`
`38`	`38`	`}`
	`39`	`+`
	`40`	`+ /**`
	`41`	`+ * @param int<5, 15> $index`
	`42`	`+ */`
	`43`	`+ public function issetNotWidensIntRange(int $index, string $name): void`
	`44`	`+ {`
	`45`	`+ assert(isset($this->list[$index]));`
	`46`	`+ assertType('int<5, 15>', $index);`
	`47`	`+ }`
`39`	`48`	`}`