`@phpstan-sealed`

Group: Advanced PHPDoc types · Category: ecosystem · File: phpdoc_advanced_phpstan_sealed.php

Restricts which types may extend/implement the annotated class or interface. Available since PHPStan 2.1.18. References: - PHPStan phpdocs-basics: Sealed classes

Analyzer results

Analyzer	Version	Result	Diagnostics
phan	6.0.7Phan 6.0.7 php-ast version 1.1.3 PHP version used to run Phan: 8.5.9	Not enforced	No diagnostics reported. Recognition: spelling resolved Enforcement: 0/1 of the expected violations reported
phpstan	2.2.8PHPStan - PHP Static Analysis Tool 2.2.8	Enforced reported Lv.0+	phpdoc_advanced_phpstan_sealed.php:33: Type Conformance\Tests\PhpdocAdvancedPhpstanSealed\Forbidden is not allowed to be a subtype of Conformance\Tests\PhpdocAdvancedPhpstanSealed\Base. [identifier=class.disallowedSubtype] [reported-from-level=0] With strict-rules phpdoc_advanced_phpstan_sealed.php:33: Type Conformance\Tests\PhpdocAdvancedPhpstanSealed\Forbidden is not allowed to be a subtype of Conformance\Tests\PhpdocAdvancedPhpstanSealed\Base. [identifier=class.disallowedSubtype] Recognition: spelling resolved Enforcement: 1/1 of the expected violations reported
psalm	6.16.1Psalm 6.16.1@f1f5de594dc76faf8784e02d3dc4716c91c6f6ac next: 7.0.0-beta19	Not enforced	No diagnostics reported. Recognition: spelling resolved Enforcement: 0/1 of the expected violations reported
mago	1.46.0mago 1.46.0	Not enforced	No diagnostics reported. Recognition: spelling resolved Enforcement: 0/1 of the expected violations reported
mir	0.70.1mir 0.70.1	Not enforced	No diagnostics reported. Recognition: spelling resolved Enforcement: 0/1 of the expected violations reported
phpantom	0.9.0phpantom_lsp 0.9.0	Not enforced	No diagnostics reported. Recognition: spelling resolved Enforcement: 0/1 of the expected violations reported
intelephense	1.18.5intelephense 1.18.5	Not enforced	No diagnostics reported. Recognition: spelling resolved Enforcement: 0/1 of the expected violations reported
phpy	0.2.0phpy 0.2.0	Not enforced	No diagnostics reported. Recognition: spelling resolved Enforcement: 0/1 of the expected violations reported
qodana	262.8665.325Qodana 262.8665.325	Not enforced	No diagnostics reported. Recognition: spelling resolved Enforcement: 0/1 of the expected violations reported
noverify	0.5.5NoVerify, version 0.5.5: built on: 2025.04.22 14:36:46 OS: r-kuchinskas arm64 Commit: 4774b82f8adc53fbef38f95e97af4b953b4d1529	Not enforced	No diagnostics reported. Recognition: spelling resolved Enforcement: 0/1 of the expected violations reported
steins	0.1.5steins 0.1.5 (2026-08-12 revision 39b4cc1)	Not enforced	No diagnostics reported. Recognition: spelling resolved Enforcement: 0/1 of the expected violations reported
phpstan-strict	2.2.8PHPStan - PHP Static Analysis Tool 2.2.8	Enforced	phpdoc_advanced_phpstan_sealed.php:33: Type Conformance\Tests\PhpdocAdvancedPhpstanSealed\Forbidden is not allowed to be a subtype of Conformance\Tests\PhpdocAdvancedPhpstanSealed\Base. [identifier=class.disallowedSubtype] Recognition: spelling resolved Enforcement: 1/1 of the expected violations reported
psalm-next	7.0.0-beta19Psalm 7.0.0-beta19@7e751c06a756fa64dc4c759c09fe4a173afcb433	Not enforced	No diagnostics reported. Recognition: spelling resolved Enforcement: 0/1 of the expected violations reported

Source

<?php

declare(strict_types=1);

namespace Conformance\Tests\PhpdocAdvancedPhpstanSealed;

/**
 * Cross-tool handling of `@phpstan-sealed`.
 *
 * Restricts which types may extend/implement the annotated class or interface.
 * Available since PHPStan 2.1.18.
 *
 * References:
 * - PHPStan phpdocs-basics: Sealed classes
 */

/**
 * @phpstan-sealed AllowedOne|AllowedTwo
 */
abstract class Base // T: @phpstan-sealed
{
}

final class AllowedOne extends Base // V
{
}

final class AllowedTwo extends Base // V
{
}

// Not in the sealed allow-list.
final class Forbidden extends Base // E?: Forbidden is not allowed as a subtype of sealed Base
{
}