Determines whether a type can be used in operator ~ expression and if the return type is convertible to the expected one. More...

#include <operators.hpp>

Concept definition

template<class T, class TResult std::remove_cvref_t<T>>
concept sl::concepts::complemented_r =  requires(T t)
    {
        { ~t } -> std::convertible_to<TResult>;
    }

Detailed Description

Determines whether a type can be used in operator ~ expression and if the return type is convertible to the expected one.

Template Parameters

T	The type to check
TResult	The expected return type