kill mutants

Author: staabm

tests/PHPStan/Rules/TooWideTypehints/TooWideFunctionReturnTypehintRuleTest.php

@@ -94,6 +94,14 @@ public function testBug13384cPhp82(): void
 				'Function Bug13384c\doFooPhpdoc2() never returns true so the return type can be changed to false.',
 				100,
 			],
+			[
+				'Function Bug13384c\returnsTrueUnionReturn() never returns int so it can be removed from the return type.',
+				130,
+			],
+			[
+				'Function Bug13384c\returnsTruePhpdocUnionReturn() never returns int so it can be removed from the return type.',
+				137,
+			],
 		]);
 	}
 
@@ -116,7 +124,16 @@ public function testBug13384cPrePhp82(): void
 
 	public function testBug13384cOff(): void
 	{
-		$this->analyse([__DIR__ . '/data/bug-13384c.php'], []);
+		$this->analyse([__DIR__ . '/data/bug-13384c.php'], [
+			[
+				'Function Bug13384c\returnsTrueUnionReturn() never returns int so it can be removed from the return type.',
+				130,
+			],
+			[
+				'Function Bug13384c\returnsTruePhpdocUnionReturn() never returns int so it can be removed from the return type.',
+				137,
+			],
+		]);
 	}
 
 	public function testNestedTooWideType(): void

tests/PHPStan/Rules/TooWideTypehints/data/bug-13384c.php

@@ -126,3 +126,14 @@ function returnsTrueNoPhpdoc(): bool {
 function returnsFalseNoPhpdoc(): bool {
 	return false;
 }
+
+function returnsTrueUnionReturn(): int|bool {
+	return true;
+}
+
+/**
+ * @return int|bool
+ */
+function returnsTruePhpdocUnionReturn() {
+	return true;
+}