test invers

Author: staabm

tests/PHPStan/Analyser/nsrt/bug-12163.php

@@ -6,7 +6,7 @@
 
 class Test
 {
-	public function iterateRowColumnIndices(int $rows, int $columns): void
+	public function iterateRowColumnIndicesIncrementing(int $rows, int $columns): void
 	{
 		if ($rows < 1 || $columns < 1) return;
 		$size = $rows * $columns;
@@ -25,3 +25,25 @@ public function iterateRowColumnIndices(int $rows, int $columns): void
 		}
 	}
 }
+
+class Test2
+{
+	public function iterateRowColumnIndicesDecrementing(int $rows, int $columns): void
+	{
+		if ($rows < 1 || $columns < 1) return;
+		$size = $rows * $columns;
+
+		$rowIndex = 0;
+		$columnIndex = 0;
+		for ($i = 0; $i < $size; $i++) {
+			assertType('0', $rowIndex);
+			assertType('int<min, 0>', $columnIndex);
+			if ($columnIndex < $columns) {
+				$columnIndex--;
+			} else {
+				$columnIndex = 0;
+				$rowIndex++;
+			}
+		}
+	}
+}