Reacting to phpstan/phpstan-src#15 (comment).

I think this will be mostly a copy-paste from Psalm. See vimeo/psalm@89752b8.

I'm just not sure what to do with the @psalm-* annotations. What should I replace them with for PHPStan?