cpp/types/is trivial