Bug report

The PHP documentation had wrong exception class name in DateInterval::createFromDateString() documentation:

• Fix exception name in createFromDateString documentation php/doc-en#5521

It was changed in phpstan here:

• DateInterval::createFromDateString wrong return type for 8.3+ #14479
• Improve DateInterval inference phpstan-src#5486

Other references:

• https://3v4l.org/8rLJN
• https://phpstan.org/r/3ca784af-7263-4e4d-88d9-2d70109bfd24

Code snippet that reproduces the problem

https://phpstan.org/r/3ca784af-7263-4e4d-88d9-2d70109bfd24

Expected output

PHPStan should detect that the thrown exception is DateMalformedIntervalStringException, and that it is not instanceof DateMalformedStringException.

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

No response