Suggested resolution:

Change in 7.6.2.10 [expr.reflect] bullet 7.2 as follows:

A reflect-expression R of the form ^^id-expression represents an entity determined as follows:

• ...
• Otherwise, if the id-expression denotes an overload set S, overload resolution for the expression &S with no target shall select a unique function (12.3 [over.over]) the expression &id-expression shall be well-formed when considered as an unevaluated operand; R represents that the function selected by overload resolution (12.3 [over.over]).

(From submission #852.)

Consider:

  class A {
  protected:
    void f();
  };

  struct B : A {
    static constexpr auto r = ^^A::f;
  };

Do the restrictions in 11.8.5 [class.protected] on the use of expression &A::f apply to the reflect-expression?