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 { f0C8 template <class V> void f0() noexcept(sizeof(T) == sizeof(A) && sizeof(V) == sizeof(B)) {} f1C9 template <class V> auto f1(V a) noexcept(1) {return a;} 10 }; 11 12 void (C<int>::*tmp0)() noexcept = &C<A>::f0<B>; 13 int (C<int>::*tmp1)(int) noexcept = &C<A>::f1; 14