I've discovered an issue with
It's accepting an older syntax that PHP-DOC historically supported.
The current official syntax of the tool is documented here:
As you can see, the type is optional, the parameter name is required, and the description is optional.
The older variant where the type was optionally placed after the parameter name was removed, because it caused problems such as the one you can see in this image.
Another third-party tool phpstan corrected this issue in June:
As you can see from the issue description:
This is especially useful in PHP 8 applications, which can almost fully typehint all arguments. The type in the PHPdoc in this case is redundant and may only lead to out-of-sync types.
This is the problem you're seeing in my screenshot as well.
Please consider removing support for this older syntax, so that we may document parameters without duplicating the type-hints.