deprecated constants not reported

[staabm]

Bug report

DateTimeInterface::ISO8601 in phpstorm stubs don't declare a version, but just that it is deprecated

https://github.com/JetBrains/phpstorm-stubs/blob/b61d4a5f40c3940be440d85355fef4e2416b8527/date/date_c.php#L25-L31

we don't report deprecation errors for it atm

---

NumberFormatter::TYPE_CURRENCY seems to have a different problem

https://github.com/JetBrains/phpstorm-stubs/blob/b61d4a5f40c3940be440d85355fef4e2416b8527/intl/intl.php#L914-L919

Code snippet that reproduces the problem

https://phpstan.org/r/3726339f-dc33-4d13-8bc8-527ccfcee63b

Expected output

2 errors regarding use of a deprecated constant

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

No response