An instance of this type predicate holds true if the type Ty is a reference to an object or to a function, otherwise it holds false. Note that Ty may not be an rvalue reference. For more information about rvalues, see Rvalue Reference Declarator: &&.