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