Type, unless it is smaller than int, in which case it is promoted
This is useful for predicting the return type due to algebraic type promotion
See Implementation
Type, unless it is smaller than int, in which case it is promoted
This is useful for predicting the return type due to algebraic type promotion