1 // RUN: %clang_cc1 -verify %s 2 3 struct A { 4 static constexpr bool x = true; 5 }; 6 7 template<typename T, typename U> 8 void f(T, U) noexcept(T::x); 9 10 template<typename T, typename U> 11 void f(T, U*) noexcept(T::y); // expected-error {{no member named 'y' in 'A'}} 12 13 template<> 14 void f<A>(A, int*); // expected-note {{in instantiation of exception specification}} 15