Support for @phpstan-assert, -if-true, -if-false

[ondrejmirtes]

Hi, PHPStan 1.9.0 will bring support for the same assert tags Psalm already has. Besides supporting already widespread @psalm- prefix for these tags, PHPStan will also support its own tag @phpstan-. Could you please add support for @phpstan-prefixed tags so that we're cross-compatible?

Thanks :)

[psalm-github-bot]

Hey @ondrejmirtes, can you reproduce the issue on https://psalm.dev ?

[orklah]

Thanks for bringing this up! We'll update Psalm to support those indeed!

For reference:

psalm/src/Psalm/Internal/PhpVisitor/Reflector/FunctionLikeDocblockParser.php

Line 454 in b924032

if (isset($parsed_docblock->tags['psalm-assert'])) {

[VincentLanglet]

phpstan 1.9.0 is released so this it would be interesting to add this feature soon with a psalm release.

There is also

phpstan-self-out
phpstan-this-out

This seems easy to add, I opened #8654 @orklah

[orklah]

Thanks for this! Couldn't find time to do it myself!