// P0704R1
// { dg-do compile { target c++11 } }

struct S {
  void ref() & {}
  void cref() const& {}
  void vref() volatile & {}
  void cvref() const volatile & {}
};

void
foo ()
{
  S{}.ref();		// { dg-error "argument discards qualifiers" }
  S{}.cref();
  S{}.vref();		// { dg-error "argument discards qualifiers" }
  S{}.cvref();		// { dg-error "argument discards qualifiers" }

  (S{}.*&S::ref)();	// { dg-error "pointer-to-member-function type 'void \\(S::\\*\\)\\(\\) &' requires an lvalue" }
  (S{}.*&S::cref)();	// { dg-error "pointer-to-member-function type 'void \\(S::\\*\\)\\(\\) const &' requires an lvalue" "" { target c++17_down } }
  (S{}.*&S::vref)();	// { dg-error "pointer-to-member-function type 'void \\(S::\\*\\)\\(\\) volatile &' requires an lvalue" }
  (S{}.*&S::cvref)();	// { dg-error "pointer-to-member-function type 'void \\(S::\\*\\)\\(\\) const volatile &' requires an lvalue" }
}