17 Concepts library [concepts]

17.4 Language-related concepts [concepts.lang]

17.4.2 Concept Same [concept.same]

template<class T, class U> concept Same = is_same_v<T, U>;
Same<T, U> subsumes Same<U, T> and vice versa.