Congcong Cai | 9f3e340 | 2023-10-25 00:01:22 +0800 | [diff] [blame] | 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)) {} |
Congcong Cai | de50395 | 2024-01-05 23:37:58 +0800 | [diff] [blame] | 9 | template <class V> auto f1(V a) noexcept(1) {return a;} |
Congcong Cai | 9f3e340 | 2023-10-25 00:01:22 +0800 | [diff] [blame] | 10 | }; |
| 11 | |
Congcong Cai | de50395 | 2024-01-05 23:37:58 +0800 | [diff] [blame] | 12 | void (C<int>::*tmp0)() noexcept = &C<A>::f0<B>; |
| 13 | int (C<int>::*tmp1)(int) noexcept = &C<A>::f1; |