Use assert to check variable type instead of doc comment.
<pre>
/** @var User $user */ // <-- Use assert to check variable type
assert($user instanceof User);
</pre>
<!-- main -->