@phpstan-require-extends

The @phpstan-require-extends tag is PHPStan's vendor-specific alias of @require-extends, which this component already recognizes bare. It constrains a trait so that it may only be used within a class that extends the given type.

This library recognizes it as an alias: it parses identically to the canonical tag above and produces the exact same tag instance, keeping the vendor-prefixed name it was written with.

PHPStan's PHPDoc basics page confirms the concept in prose.