Mimic GCC/Clang simplification behaviour when type checking ?:

Mimic GCC/Clang simplification behaviour when type checking ?: #9225