[expr.ref]/(6.3.2) says:

Otherwise, if E1.E2 refers to a non-static member function and the type of E2 is “function of parameter-type-list cv ref-qualifier_opt returning T”… The type of E1.E2 is “function of parameter-type-list cv returning T”.

However, this doesn't match how function types are spelled in [dcl.fct]/1:

… the type of the declarator-id in D is “derived-declarator-type-list noexcept_opt function of (parameter-declaration-clause) cv-qualifier-seq_opt ref-qualifier_opt returning T” …

[expr.ref]/(6.3.2):

• uses cv instead of cv-qualifier-seq_opt
• uses "parameter-type-list" instead of "(parameter-declaration-clause)"
• misses noexcept_opt

Also, why ref-qualifier_opt ofE2's type is missing in the type of E1.E2?