Bug report
I think we should not error on numeric-string int-string when passed to a integer placeholder.
it feeld too annoying
wdyt?
Code snippet that reproduces the problem
https://phpstan.org/r/32486345-2ddb-42b9-ba4c-e705559d6390
Expected output
no error
Did PHPStan help you today? Did it make you happy in any way?
No response
Bug report
I think we should not error on
numeric-stringint-string when passed to a integer placeholder.it feeld too annoying
wdyt?
Code snippet that reproduces the problem
https://phpstan.org/r/32486345-2ddb-42b9-ba4c-e705559d6390
Expected output
no error
Did PHPStan help you today? Did it make you happy in any way?
No response