template <class Ty> struct add_cv;
An instance of the type modifier holds the modified-type add_volatile< add_const<Ty> >.