Unexpected „binary error“

[staabm]

I dont expect this error

https://phpstan.org/r/737b904c-0630-4e1b-9245-893427a584ba

(Or maybe the phpstan error sounds too much like an error and is more a warning)

As the code works as expected https://3v4l.org/tifuR

[ondrejmirtes]

PHPStan could implement DateFunctionDynamicReturnTypeExtension so it would understand that for some date() arguments, it still produces a numeric string, which can be added to another number.

But you should understand that arithmetic operations between strings and numbers should be penalized, and that's what PHPStan is doing.

Consider doing something like (new \DateTimeImmutable('now'))->modify('+10 years')->format('Y') instead. You're showing the intent much more clearly.

[ondrejmirtes]

This is now trivial to implemented because PHPStan can now represent an intersection of StringType and AccessoryNumericStringType which is basically a numeric string: phpstan/phpstan-src@1d27c61

[ondrejmirtes]

Implemented: phpstan/phpstan-src@1053ee7

[staabm]

love it, thx!

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