Thank you Marc; we will definitely add support for
phpstan- prefixed tags. Currently, we only handle certain cases, such as
As noted in the documentation of phpstan and psalm, the prefixed tags are there in order to use extended syntax, which the IDEs don't understand. So for now it is safe to use it in addition to regular phpdocumentary'