cpp/types/is same

If and  name the same type (taking into account const/volatile qualifications), provides the member constant  equal to. Otherwise is.

Commutativity is satisfied, i.e. for any two types and,  if and only if.