in_array - report finite types in constant array haystack that can never be needle #14960

Feature request

https://phpstan.org/r/b01b0b02-d1b4-4726-ab4a-be93066af673 - should report that int can never be Foo::ONE.

The logic should use the type system, so Type::getConstantArrays() and Type::getFiniteTypes(), not AST (Array_, Scalar etc.).

Did PHPStan help you today? Did it make you happy in any way?

No response