False positive error on DateTime constructor for PHP 7.2-7.4

[integer]

Bug report

Code $foo = new \DateTime('@'.mktime(12)); generates error Instantiating DateTime with @ produces an error: Unexpected character for PHP 7.2-7.4. But this format is supported for unix timestamps: https://www.php.net/manual/en/datetime.formats.php (see table Localized Notations) and code works https://3v4l.org/Eo67a

Code snippet that reproduces the problem

https://phpstan.org/r/dd0df9da-94ab-4b82-aba7-c936fd9dd724

Expected output

No errors

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

It's quite early after midnight, so not yet today, sorry. But yesterday PHPStan saved me some time. Thanks!

[ondrejmirtes]

This is the root cause: https://phpstan.org/r/fd2e1bbc-906f-4026-b3b5-341476c61a4d

'@'.mktime(12) should not be resolved to type '@'.

[ondrejmirtes]

Fixed phpstan/phpstan-src@4a4c739

[integer]

Thank you very much for quick fix! 🥇

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.