Ops>Remark: an implementation should return different values for two type_info objects which do not compare equal.