Afaik it is just some (quite a few) type traits, like std::is_class and such that you could not write yourself without compiler intrinsics.