@psalm-check-type-exact

The @psalm-check-type-exact tag asserts that a variable resolves to exactly the given type, disallowing narrower or wider matches. It is defined by the static analyzer Psalm, alongside the looser @psalm-check-type.

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

It shares the CheckTypeTag base with the looser @psalm-check-type, which allows assignable matches.

See Psalm's supported annotations page.