Advanced diagnostics based on PHPStan PHPDoc types?

[0x00A1FA]

Hi,

I'd like to get errors whenever my runtime code does not meet the requirements described by PHPDoc types. I know there are some diagnostics going on for simpler types, but could we get intellisense and error checking for the full spectrum as described in https://phpstan.org/writing-php-code/phpdoc-types?

Thank you!