Regression tests for NumberComparisonOperatorsConstantConditionRule

tests/PHPStan/Rules/Comparison/NumberComparisonOperatorsConstantConditionRuleTest.php

@@ -195,4 +195,16 @@ public function testTreatPhpDocTypesAsCertain(bool $treatPhpDocTypesAsCertain, a
 		$this->analyse([__DIR__ . '/data/number-comparison-treat.php'], $expectedErrors);
 	}
 
+	public function testBug6776(): void
+	{
+		$this->treatPhpDocTypesAsCertain = false;
+		$this->analyse([__DIR__ . '/data/bug-6776.php'], []);
+	}
+
+	public function testBug7075(): void
+	{
+		$this->treatPhpDocTypesAsCertain = false;
+		$this->analyse([__DIR__ . '/data/bug-7075.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Comparison/data/bug-6776.php

@@ -0,0 +1,16 @@
+<?php declare(strict_types = 1);
+
+namespace Bug6776;
+
+class HelloWorld
+{
+	/**
+	 * @param positive-int|null $date
+	 */
+	public function sayHello(?int $date): void
+	{
+		if($date !== null && $date < 1){
+			throw new \InvalidArgumentException();
+		}
+	}
+}

tests/PHPStan/Rules/Comparison/data/bug-7075.php

@@ -0,0 +1,18 @@
+<?php
+
+namespace Bug7075;
+
+/** @param int<0, 100> $b */
+function foo(int $b): void {
+	if ($b > 100) throw new \Exception("bad");
+	print "ok";
+}
+
+/**
+ * @param int<1,max> $number
+ */
+function foo2(int $number): void {
+	if ($number < 1) {
+		throw new \Exception('Number cannot be less than 1');
+	}
+}