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

#include <operators.hpp>

Concept definition

template<class T, class TIndex, class TReturn>
concept sl::concepts::index_dereferencable_r =  requires(T t, TIndex i)
    {
        { t[i] } -> std::convertible_to<TReturn>;
    }

Detailed Description

Determines whether a type can be used in operator -> expressions and if the return type is convertible to the expected one.

Template Parameters

T	The type to check
TIndex	The index type
TReturn	The expected return type