blob: 3821f18e7bf2761a7314cbdc7d4b6d63ca88e74c [file] [log] [blame]
Congcong Cai9f3e3402023-10-25 00:01:22 +08001// RUN: %clang_cc1 -fsyntax-only -std=c++17 %s
2// expected-no-diagnostics
3
4using A = int;
5using B = char;
6
7template <class T> struct C {
8 template <class V> void f0() noexcept(sizeof(T) == sizeof(A) && sizeof(V) == sizeof(B)) {}
Congcong Caide503952024-01-05 23:37:58 +08009 template <class V> auto f1(V a) noexcept(1) {return a;}
Congcong Cai9f3e3402023-10-25 00:01:22 +080010};
11
Congcong Caide503952024-01-05 23:37:58 +080012void (C<int>::*tmp0)() noexcept = &C<A>::f0<B>;
13int (C<int>::*tmp1)(int) noexcept = &C<A>::f1;