// PR c++/69300
// { dg-do compile { target c++11 } }
// { dg-options "-fdelete-null-pointer-checks" }

template<typename A>
struct F {
  template<typename B>
  void f() noexcept(&F::template f<B>) {} // { dg-error "exception specification|convert|resolve" }
};

int main () {
  F<void>().f<int>();
}