@psalm-check-type

The @psalm-check-type tag asserts, for debugging purposes, that a variable resolves to a given type. It is defined by the static analyzer Psalm.

Parsing a @psalm-check-type tag produces a PsalmCheckTypeTag instance, carrying the checked $variable and its expected $type alongside the $name every Tag already provides.

It shares the CheckTypeTag base with the stricter @psalm-check-type-exact, which demands an exact type match.

See Psalm's supported annotations.