IntegerRangeType - test edgecase

phpstan · Jul 30, 2021 · 5f494f9 · 5f494f9
1 parent d218134
commit 5f494f9
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/tests/PHPStan/Analyser/data/integer-range-types.php b/tests/PHPStan/Analyser/data/integer-range-types.php
@@ -180,12 +180,18 @@ class X {
 	 */
 	public $error2;
 
+	/**
+	 * @var int<min, max>
+	 */
+	public $int;
+
 	public function supportsPhpdocIntegerRange() {
 		assertType('int<0, 100>', $this->percentage);
 		assertType('int<min, 100>', $this->min);
 		assertType('int<0, max>', $this->max);
 
 		assertType('*ERROR*', $this->error1);
 		assertType('*ERROR*', $this->error2);
+		assertType('int', $this->int);
 	}
 }