array_key_exists + ternary cause an improper type evaluation

### Bug report

when i use array_key_exists in a ternary condition, the last value type is not checked

### Code snippet that reproduces the problem

https://phpstan.org/r/77b815da-653a-477f-92cb-50d04c52eaf4

### Expected output

error because we can provide a string to a int parameter

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

yes