fix: add tests on isset rules

ga-devfront · ga-devfront · commit bc536d8609c7 · 2025-10-20T09:19:14.000+02:00
diff --git a/tests/PHPStan/Rules/Variables/IssetRuleTest.php b/tests/PHPStan/Rules/Variables/IssetRuleTest.php
@@ -510,4 +510,11 @@ public function testBug10640(): void
 
 		$this->analyse([__DIR__ . '/../../Analyser/nsrt/bug-10640.php'], []);
 	}
+
+	public function testBug13353(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+
+		$this->analyse([__DIR__ . '/data/bug-13353.php'], []);
+	}
 }

Original file line number	Diff line number	Diff line change
`@@ -510,4 +510,11 @@ public function testBug10640(): void`
`510`	`510`
`511`	`511`	`$this->analyse([__DIR__ . '/../../Analyser/nsrt/bug-10640.php'], []);`
`512`	`512`	`}`
	`513`	`+`
	`514`	`+ public function testBug13353(): void`
	`515`	`+ {`
	`516`	`+ $this->treatPhpDocTypesAsCertain = true;`
	`517`	`+`
	`518`	`+ $this->analyse([__DIR__ . '/data/bug-13353.php'], []);`
	`519`	`+ }`
`513`	`520`	`}`