`DateTime->format()` should have the same type-inference then `date()`

[staabm]

https://phpstan.org/r/6e6a9d1c-c848-4c22-bc1b-def3b71e753c

see https://github.com/phpstan/phpstan-src/blob/master/src/Type/Php/DateFunctionReturnTypeExtension.php

same for all aliases mentioned at https://www.php.net/manual/de/datetime.format.php

I can work on it

[ondrejmirtes]

Implemented: phpstan/phpstan-src@b49df58

[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.