|
207
|
1 // RUN: %clang_cc1 -std=c++20 -verify %s
|
|
|
2
|
|
|
3 namespace PR46377 {
|
|
|
4 template<typename> using IntPtr = int*;
|
|
|
5 template<typename ...T> auto non_dependent_typedef() {
|
|
|
6 typedef int(*P)(IntPtr<T>...);
|
|
|
7 return P();
|
|
|
8 }
|
|
|
9 template<typename ...T> auto non_dependent_alias() {
|
|
|
10 using P = int(*)(IntPtr<T>...);
|
|
|
11 return P();
|
|
|
12 }
|
|
|
13 template<typename ...T> auto non_dependent_via_sizeof() {
|
|
|
14 using P = int(*)(int(...pack)[sizeof(sizeof(T))]); // expected-error {{invalid application of 'sizeof'}}
|
|
|
15 return P();
|
|
|
16 }
|
|
|
17
|
|
|
18 using a = int (*)(int*, int*);
|
|
|
19 using a = decltype(non_dependent_typedef<void, void>());
|
|
|
20 using a = decltype(non_dependent_alias<void, void>());
|
|
|
21 using a = decltype(non_dependent_via_sizeof<float, float>());
|
|
|
22
|
|
|
23 using b = decltype(non_dependent_via_sizeof<float, void>()); // expected-note {{instantiation of}}
|
|
|
24 }
|
