VRP

ValueRange-Propagation for to allow more implicit casts
You could use a ternary for these kind of things.