AT
Здесь приведено описание "subsumption relationship", которое является частичным порядком для constraints и используется, например, для overload resolution.
@AsGreyWolf, говоря про "ортогональный концепт", наверное, хотел сказать, что
is_same_v<T, U>
и is_same_v<U, T>
не являются identical, если is_same_v<T, U> == false
:https://en.cppreference.com/w/cpp/language/constraints#Atomic_constraints
same_as
не выполняется "subsumption property":https://stackoverflow.com/a/58511321