Does not detect implicit int -> float conversion when null is allowed

[jankonas]

Summary of a problem or a feature request

Code speaks for 1000 words ⬇️ 😉

Array content detection reports that int is present in the array and float|null is expected when the called function requests ?float parameter. The detection behaves correctly when only float parameter is requested.

Code snippet that reproduces the problem

https://phpstan.org/r/1e51242a-89bd-481a-b6a1-3c0cc173b7d5

Expected output

Linked code snippet should not report any issues.

[jankonas]

It is fixed now: https://phpstan.org/r/9464faff-fd9f-466f-8184-5afa593eb171

[ondrejmirtes]

Needs a regression test.

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