Feature request

we should report use of deprecated constants, for example in
https://phpstan.org/r/db7410e5-9049-4c4b-88e2-e77a98040acb
https://3v4l.org/opYVk

a list of related constants can be found in https://github.com/php/php-src/blob/a48ed12ea9d3d59d307c77131092cff13acee2d0/ext/filter/filter_arginfo.h#L84

same applies for other constants which use the CONST_DEPRECATED flag
https://github.com/search?q=repo%3Aphp%2Fphp-src%20CONST_DEPRECATED&type=code

the php-src stubs also contain the deprecation annotation
https://github.com/php/php-src/blob/ffc6f192a8f475dfdff942bb22f509d1eefd0847/ext/filter/filter.stub.php#L124

Did PHPStan help you today? Did it make you happy in any way?

No response