clang/test/SemaCXX/dependent-noexcept-uninstantiated.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -std=c++17 %s
   2 // expected-no-diagnostics
   3
   4 using A = int;
   5 using B = char;
   6
   7 template <class T> struct C {
   8   template <class V> void f0() noexcept(sizeof(T) == sizeof(A) && sizeof(V) == sizeof(B)) {}
   9 };
  10
  11 void (C<int>::*tmp1)() noexcept = &C<A>::f0<B>;