Bug report

Code snippet that reproduces the problem

Missing parameters: https://phpstan.org/r/1048caae-3dfc-4543-b8ba-9e6a049b454e

Expected output

An error should be reported on line 9 because the template parameters of OtherTag haven't been specified.