std::experimental::ranges::Same
Min standard notice:
Header: <experimental/ranges/concepts>
The concept Same<T, U> is satisfied if and only if T and U denote the same type.
# Declarations
template< class T, class U >
concept bool Same = std::is_same<T, U>::value; // see below
(ranges TS)
# Notes
The additional requirement on constraint checking differentiates Same from std::is_same.