DatePeriod::getEndDate can return null

[nyamsprod]

Bug report

PHPStan believes that DatePeriod::getEndDate will always return a DateTimeInterface object while it can also return null if no end date can be computed from the DatePeriod constructor input see https://www.php.net/manual/en/dateperiod.getenddate.php

Code snippet that reproduces the problem

https://phpstan.org/r/93804099-9892-4e17-a54e-6b9b8d18be62

and

https://3v4l.org/qBgdp

Expected output

Expect no error to be display

[nyamsprod]

seems to be a duplicate will close it

[staabm]

the jetbrains stubs are correct https://github.com/JetBrains/phpstorm-stubs/blob/363c7059fcfc9b45eb93c940455a565280106c3c/date/date_c.php#L991

bug is here: https://github.com/phpstan/phpstan-src/blob/a215b379130c7c5620636688b2d72931a7aff96f/resources/functionMap.php#L1593

feel free to send a fix

[nyamsprod]

@staabm seems a PR to resolve the issue has already been submitted see phpstan/phpstan-src#762

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