Bug report
Conditional type in @param can have always true condition, but such tautology in it is completely expected and phpstan error must not emit any error for it.
Code snippet that reproduces the problem
https://phpstan.org/r/676a25bf-8118-4353-937f-2660308e8b47
Expected output
no phpstan error