The example on the Psalm 7 page (https://psalm.dev/) showed the PHPDoc return type.

I was not precise enough about the exact version of it, fair, but my correction did not change my opinion on this topic.

And the PHPDoc stuff is old, it was normal to write them everywere 11 years ago and still today you have to write them for some cases.

Its still inconsistent and stupid.