xref: /llvm-project/clang/test/SemaCXX/dependent-noexcept-uninstantiated.cpp (revision de5039545ee4e9f5aa7023632d5c4baa5e782e51)
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