etl::common_with Concept Reference

#include <common_with.hpp>

Concept definition

template<typename T, typename U>
concept etl::common_with = 
  same_as<common_type_t<T, U>, common_type_t<U, T>> &&
  requires {
    static_cast<common_type_t<T, U>>(declval<T>());
    static_cast<common_type_t<T, U>>(declval<U>());
  } &&
  common_reference_with<
    add_lvalue_reference_t<T const>,
    add_lvalue_reference_t<U const>> &&
  common_reference_with<
    add_lvalue_reference_t<common_type_t<T, U>>,
    common_reference_t<
      add_lvalue_reference_t<T const>,
      add_lvalue_reference_t<U const>>>