inverted type promotion in expressions