«1 The unary * operator performs indirection: the expression to which it is applied shall be a pointer to an object type, or a pointer to a function type and the result is an lvalue referring to the object or function to which the expression points. If the type of the expression is “pointer to T”, the type of the result is “T”.»
Should the last statement be written like
«If the type of the expression is “pointer to T”, the type of the result is “T &”»?
With best regards,
Vlad from Moscow