cpp/concepts/same as

The concept is satisfied if and only if  and  denote the same type.

subsumes and vice versa.