struct StaticDstRangeRelationToSrcRange

template <typename Dst, typename Src, IntegerRepresentation DstSign = std::is_signed<Dst>::value
                                              ? INTEGER_REPRESENTATION_SIGNED
                                              : INTEGER_REPRESENTATION_UNSIGNED, IntegerRepresentation SrcSign = std::is_signed<Src>::value
                                              ? INTEGER_REPRESENTATION_SIGNED
                                              : INTEGER_REPRESENTATION_UNSIGNED>

struct StaticDstRangeRelationToSrcRange

Helper templates to statically determine if our destination type can contain

maximum and minimum values represented by the source type.