Report bool properties as too wide when only used with true/false

Author: staabm

src/Php/PhpVersions.php

@@ -43,4 +43,9 @@ public function supportsNamedArgumentAfterUnpackedArgument(): TrinaryLogic
 		return IntegerRangeType::fromInterval(80100, null)->isSuperTypeOf($this->phpVersions)->result;
 	}
 
+	public function supportsTrueAndFalseStandaloneType(): TrinaryLogic
+	{
+		return IntegerRangeType::fromInterval(80200, null)->isSuperTypeOf($this->phpVersions)->result;
+	}
+
 }

tests/PHPStan/Rules/Comparison/IfConstantConditionRuleTest.php

@@ -182,4 +182,15 @@ public function testBug8926(): void
 		$this->analyse([__DIR__ . '/data/bug-8926.php'], []);
 	}
 
+	public function testBug13384b(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/../TooWideTypehints/data/bug-13384b.php'], [
+			[
+				'If condition is always false.',
+				23,
+			],
+		]);
+	}
+
 }

tests/PHPStan/Rules/TooWideTypehints/TooWidePropertyTypeRuleTest.php

@@ -59,4 +59,30 @@ public function testBug11667(): void
 		$this->analyse([__DIR__ . '/data/bug-11667.php'], []);
 	}
 
+	#[RequiresPhp('>= 8.2')]
+	public function testBug13384(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-13384.php'], [
+			[
+				'Static property Bug13384\ShutdownHandlerFalseDefault::$registered (bool) is never assigned true so it can be removed from the property type.',
+				9,
+			],
+			[
+				'Static property Bug13384\ShutdownHandlerTrueDefault::$registered (bool) is never assigned false so it can be removed from the property type.',
+				34,
+			],
+		]);
+	}
+
+	#[RequiresPhp('< 8.2')]
+	public function testBug13384NoStandaloneTrueFalse(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-13384.php'], []);
+	}
+
+	public function testBug13384b(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-13384b.php'], []);
+	}
+
 }

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

@@ -0,0 +1,55 @@
+<?php declare(strict_types=1);
+
+namespace Bug13384;
+
+use function register_shutdown_function;
+
+final class ShutdownHandlerFalseDefault
+{
+	private static bool $registered = false;
+	private static string $message  = '';
+
+	public static function setMessage(string $message): void
+	{
+		self::register();
+
+		self::$message = $message;
+	}
+
+	private static function register(): void
+	{
+		if (self::$registered) {
+			return;
+		}
+
+		register_shutdown_function(static function (): void
+		{
+			print self::$message;
+		});
+	}
+}
+
+final class ShutdownHandlerTrueDefault
+{
+	private static bool $registered = true;
+	private static string $message  = '';
+
+	public static function setMessage(string $message): void
+	{
+		self::register();
+
+		self::$message = $message;
+	}
+
+	private static function register(): void
+	{
+		if (self::$registered) {
+			return;
+		}
+
+		register_shutdown_function(static function (): void
+		{
+			print self::$message;
+		});
+	}
+}

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

@@ -0,0 +1,32 @@
+<?php // lint >= 8.2
+
+declare(strict_types=1);
+
+namespace Bug13384b;
+
+use function register_shutdown_function;
+
+final class ShutdownHandlerFooBar
+{
+	private static false $registered = false;
+	private static string $message  = '';
+
+	public static function setMessage(string $message): void
+	{
+		self::register();
+
+		self::$message = $message;
+	}
+
+	private static function register(): void
+	{
+		if (self::$registered) {
+			return;
+		}
+
+		register_shutdown_function(static function (): void
+		{
+			print self::$message;
+		});
+	}
+}