Rework

Author: VincentLanglet

src/Reflection/Php/SealedAllowedSubTypesClassReflectionExtension.php

@@ -0,0 +1,36 @@
+<?php declare(strict_types = 1);
+
+namespace PHPStan\Reflection\Php;
+
+use PHPStan\DependencyInjection\AutowiredService;
+use PHPStan\Reflection\AllowedSubTypesClassReflectionExtension;
+use PHPStan\Reflection\ClassReflection;
+use PHPStan\Type\UnionType;
+use function count;
+
+#[AutowiredService]
+final class SealedAllowedSubTypesClassReflectionExtension implements AllowedSubTypesClassReflectionExtension
+{
+
+	public function supports(ClassReflection $classReflection): bool
+	{
+		return count($classReflection->getSealedTags()) > 0;
+	}
+
+	public function getAllowedSubTypes(ClassReflection $classReflection): array
+	{
+		$types = [];
+
+		foreach ($classReflection->getSealedTags() as $sealedTag) {
+			$type = $sealedTag->getType();
+			if ($type instanceof UnionType) {
+				$types = $type->getTypes();
+			} else {
+				$types = [$type];
+			}
+		}
+
+		return $types;
+	}
+
+}

tests/PHPStan/Rules/Classes/AllowedSubTypesRuleTest.php

@@ -26,6 +26,24 @@ public function testRule(): void
 		]);
 	}
 
+	public function testSealed(): void
+	{
+		$this->analyse([__DIR__ . '/data/sealed.php'], [
+			[
+				'Type Sealed\BazClass is not allowed to be a subtype of Sealed\BaseClass.',
+				11,
+			],
+			[
+				'Type Sealed\BazClass2 is not allowed to be a subtype of Sealed\BaseInterface.',
+				19,
+			],
+			[
+				'Type Sealed\BazInterface is not allowed to be a subtype of Sealed\BaseInterface2.',
+				27,
+			],
+		]);
+	}
+
 	public static function getAdditionalConfigFiles(): array
 	{
 		return [