template <Operation, typename, typename, typename = void>

struct PromoteFormat

Traits type that determines the promoted result format, given an operation

and input formats.