1 // RUN: %clang_cc1 -std=c++2a %s -verify
2
3 struct X {
refX4 void ref() & {} // expected-note{{'ref' declared here}}
crefX5 void cref() const& {}
cvrefX6 void cvref() const volatile & {} // expected-note{{'cvref' declared here}}
7 };
8
test()9 void test() {
10 X{}.ref(); // expected-error{{'this' argument to member function 'ref' is an rvalue, but function has non-const lvalue ref-qualifier}}
11 X{}.cref(); // expected-no-error
12 X{}.cvref(); // expected-error{{'this' argument to member function 'cvref' is an rvalue, but function has non-const lvalue ref-qualifier}}
13
14 (X{}.*&X::ref)(); // expected-error-re{{pointer-to-member function type 'void (X::*)() {{.*}}&' can only be called on an lvalue}}
15 (X{}.*&X::cref)(); // expected-no-error
16 (X{}.*&X::cvref)(); // expected-error-re{{pointer-to-member function type 'void (X::*)() {{.*}}&' can only be called on an lvalue}}
17 }
18