1 // PR c++/69300
2 // { dg-do compile { target c++11 } }
3 // { dg-options "-fdelete-null-pointer-checks" }
4 
5 template<typename A>
6 struct F {
7   template<typename B>
fF8   void f() noexcept(&F::template f<B>) {} // { dg-error "exception specification|convert" }
9 };
10 
main()11 int main () {
12   F<void>().f<int>();
13 }
14