[typing] fix long-standing bug in evaluation of conditional in constant expr

Actually we can't completely avoid typing the branch that won't be evaluated:
we need its type in order to convert the value of the other branch if needed.