template <class Ty> struct add_reference;
An instance of the type modifier holds a modified-type that is Ty if Ty is a reference, otherwise Ty&.