Add empty() tests for bug-14393

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: 2 people

tests/PHPStan/Rules/Variables/EmptyRuleTest.php

@@ -223,6 +223,13 @@ public function testBug7806(): void
 		$this->analyse([__DIR__ . '/data/bug-7806.php'], []);
 	}
 
+	public function testBug14393(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+
+		$this->analyse([__DIR__ . '/data/bug-14393.php'], []);
+	}
+
 	#[RequiresPhp('>= 8.0')]
 	public function testIssetAfterRememberedConstructor(): void
 	{

tests/PHPStan/Rules/Variables/IssetRuleTest.php

@@ -537,15 +537,15 @@ public function testBug14393(): void
 			],
 			[
 				'Property Bug14393\MyClassPhpDoc::$i (int) in isset() is not nullable.',
-				35,
+				37,
 			],
 			[
 				'Property Bug14393\MyClass::$i (int) in isset() is not nullable.',
-				75,
+				81,
 			],
 			[
 				'Property Bug14393\MyClassPhpDoc::$i (int) in isset() is not nullable.',
-				85,
+				93,
 			],
 		]);
 	}

tests/PHPStan/Rules/Variables/NullCoalesceRuleTest.php

@@ -396,15 +396,15 @@ public function testBug14393(): void
 			],
 			[
 				'Property Bug14393\MyClassPhpDoc::$i (int) on left side of ?? is not nullable.',
-				34,
+				36,
 			],
 			[
 				'Property Bug14393\MyClass::$i (int) on left side of ?? is not nullable.',
-				74,
+				80,
 			],
 			[
 				'Property Bug14393\MyClassPhpDoc::$i (int) on left side of ?? is not nullable.',
-				84,
+				92,
 			],
 		]);
 	}

tests/PHPStan/Rules/Variables/data/bug-14393.php

@@ -10,6 +10,7 @@ public function doFoo(): void
 	{
 		var_dump($this->i ?? -1);
 		var_dump(isset($this->i));
+		var_dump(empty($this->i));
 	}
 }
 
@@ -21,6 +22,7 @@ public function doFoo(): void
 	{
 		var_dump($this->i ?? -1);
 		var_dump(isset($this->i));
+		var_dump(empty($this->i));
 	}
 }
 
@@ -33,6 +35,7 @@ public function doFoo(): void
 	{
 		var_dump($this->i ?? -1);
 		var_dump(isset($this->i));
+		var_dump(empty($this->i));
 	}
 }
 
@@ -44,6 +47,7 @@ public function doFoo(): void
 	{
 		var_dump($this->i ?? -1);
 		var_dump(isset($this->i));
+		var_dump(empty($this->i));
 	}
 }
 
@@ -55,6 +59,7 @@ public function doFoo(): void
 	{
 		var_dump($this->i ?? -1);
 		var_dump(isset($this->i));
+		var_dump(empty($this->i));
 	}
 }
 
@@ -66,35 +71,42 @@ public function doFoo(): void
 	{
 		var_dump($this->i ?? -1);
 		var_dump(isset($this->i));
+		var_dump(empty($this->i));
 	}
 }
 
 $o = new MyClass();
 
 var_dump($o->i ?? -1);
 var_dump(isset($o->i));
+var_dump(empty($o->i));
 
 $o2 = new MyClassUninitialized();
 
 var_dump($o2->i ?? -1);
 var_dump(isset($o2->i));
+var_dump(empty($o2->i));
 
 $o3 = new MyClassPhpDoc();
 
 var_dump($o3->i ?? -1);
 var_dump(isset($o3->i));
+var_dump(empty($o3->i));
 
 $o4 = new MyClassNullable();
 
 var_dump($o4->i ?? -1);
 var_dump(isset($o4->i));
+var_dump(empty($o4->i));
 
 $o5 = new MyClassNullableWithDefault();
 
 var_dump($o5->i ?? -1);
 var_dump(isset($o5->i));
+var_dump(empty($o5->i));
 
 $o6 = new MyClassNullableWithNullDefault();
 
 var_dump($o6->i ?? -1);
 var_dump(isset($o6->i));
+var_dump(empty($o6->i));