ConstrainedTypeArithmetic, shouldSupportPromotionToUnderlyingTypeWhenApplyingOperatorModulus
shouldSupportPromotion -> shouldPromote