|
| concepts::model_of ())) |
|
| concepts::model_of ())) |
|
| concepts::model_of () |
|
| concepts::model_of () |
|
| concepts::model_of () |
|
| concepts::model_of () |
|
template<typename T > |
auto | requires_ (detail::as_cref_t< T > t) -> decltype(concepts::valid_expr(concepts::convertible_to< bool >(t==t), concepts::convertible_to< bool >(t !=t))) |
|
template<typename T , typename U > |
auto | requires_ () -> decltype(concepts::valid_expr(concepts::is_true(std::is_same< T, U > |
|
template<typename T , typename U , typename C = common_reference_t<detail::as_cref_t<T>, detail::as_cref_t<U>>> |
auto | requires_ () -> decltype(concepts::valid_expr(concepts::is_false(std::is_same< T, U > |
|