template <typename Lhs, typename Rhs = Lhs, bool is_intmax_type =
              std::is_integral_v<MaxExponentPromotion<Lhs, Rhs>> &&
              kIntegerBitsPlusSign<MaxExponentPromotion<Lhs, Rhs>> ==
                  kIntegerBitsPlusSign<intmax_t>, bool is_max_exponent =
              kStaticDstRangeRelationToSrcRange<MaxExponentPromotion<Lhs, Rhs>,
                                                Lhs> ==
                  NumericRangeRepresentation::kContained &&
              kStaticDstRangeRelationToSrcRange<MaxExponentPromotion<Lhs, Rhs>,
                                                Rhs> ==
                  NumericRangeRepresentation::kContained>

struct BigEnoughPromotionImpl

Defined at line 418 of file ../../zircon/third_party/ulib/safemath/include/safemath/safe_conversions_impl.h

Default case, used when the side with the max exponent is big enough.

Public Members

static const bool kContained