tetl-docs/conceptetl_1_1common__with.html

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>>>

etl::common_reference_with
Definition common_reference_with.hpp:16

etl::common_with
Definition common_with.hpp:17

etl::same_as
The concept same_as<T, U> is satisfied if and only if T and U denote the same type....
Definition same_as.hpp:19

etl::declval
auto declval() noexcept -> add_rvalue_reference_t< T >

etl::common_type_t
typename common_type< T... >::type common_type_t
Definition common_type.hpp:50

etl::common_reference_t
typename common_reference< T... >::type common_reference_t
Definition common_reference.hpp:38