simplify

Author: staabm

build/ignore-by-php-version.neon.php

@@ -11,10 +11,6 @@
 	$includes[] = __DIR__ . '/readonly-property.neon';
 }
 
-if (PHP_VERSION_ID >= 80200) {
-	$includes[] = __DIR__ . '/never-assigned-true-false.neon';
-}
-
 if (PHP_VERSION_ID >= 70400) {
 	$includes[] = __DIR__ . '/ignore-gte-php7.4-errors.neon';
 }

build/never-assigned-true-false.neon

@@ -115,7 +115,6 @@ parameters:
 			count: 1
 			path: ../src/Diagnose/PHPStanDiagnoseExtension.php
 		- '#^Short ternary operator is not allowed#'
-
 	reportStaticMethodSignatures: true
 	tmpDir: %rootDir%/tmp
 	stubFiles:

build/phpstan.neon

@@ -43,9 +43,4 @@ 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;
-	}
-
 }

src/Php/PhpVersions.php

@@ -57,7 +57,7 @@ public function processNode(Node $node, Scope $scope): array
 
 			$propertyReflection = $classReflection->getNativeProperty($propertyName);
 			$propertyType = $propertyReflection->getWritableType();
-			if (!$propertyType instanceof UnionType) {
+			if (!$propertyType instanceof UnionType && !$propertyType->isBoolean()->yes()) {
 				continue;
 			}
 			foreach ($this->extensionProvider->getExtensions() as $extension) {

src/Rules/TooWideTypehints/TooWidePropertyTypeRule.php

@@ -26,15 +26,16 @@ final class TooWideTypeCheck
 	 */
 	public function checkProperty(
 		ClassPropertyNode $property,
-		UnionType $propertyType,
+		Type $propertyType,
 		string $propertyDescription,
 		Type $assignedType,
 	): array
 	{
 		$errors = [];
 
 		$verbosityLevel = VerbosityLevel::getRecommendedLevelByType($propertyType, $assignedType);
-		foreach ($propertyType->getTypes() as $type) {
+		$propertyTypes = $propertyType instanceof UnionType ? $propertyType->getTypes() : $propertyType->getFiniteTypes();
+		foreach ($propertyTypes as $type) {
 			if (!$type->isSuperTypeOf($assignedType)->no()) {
 				continue;
 			}