di::concepts::CommonWith Concept Reference

#include <di/meta/common.h>

Concept definition

template<typename T, typename U>
concept di::concepts::CommonWith = 
    SameAs<meta::CommonType<T, U>, meta::CommonType<U, T>> &&
    requires {
        static_cast<meta::CommonType<T, U>>(util::declval<T>());
        static_cast<meta::CommonType<T, U>>(util::declval<U>());
    } && CommonReferenceWith<meta::AddLValueReference<T const>, meta::AddLValueReference<U const>> &&
    CommonReferenceWith<meta::AddLValueReference<meta::CommonType<T, U>>,
                        meta::CommonReference<meta::AddLValueReference<T const>, meta::AddLValueReference<U const>>>