Mimic GCC/Clang simplification behaviour when type checking ?:

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