1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
// RUN: %clang_cc1 -fsyntax-only -verify -std=c++17 %s
template <typename T> struct A {
A(void *) {}
T(A<T>){}; // expected-error{{member 'A' cannot have template arguments}}\
// expected-error2{{member 'A' has the same name as its class}}
};
// Don't crash.
A<int> instantiate1() { return {nullptr}; } // expected-note{{in instantiation of template class 'A<int>' requested here}}
template <typename T> struct B {
B(void *) {}
T B<T>{}; // expected-error{{member 'B' cannot have template arguments}}\
// expected-error2{{member 'B' has the same name as its class}}
};
// Don't crash.
B<int> instantiate2() { return {nullptr}; } // expected-note{{in instantiation of template class 'B<int>' requested here}}
template <typename T> struct S {};
template <typename T> struct C {
C(void *) {}
T S<T>{}; // expected-error{{member 'S' cannot have template arguments}}
};
// Don't crash.
C<int> instantiate3() { return {nullptr}; }
template <typename T, template <typename> typename U> class D {
public:
D(void *) {}
T(D<T, U<T>>) {} // expected-error{{member 'D' cannot have template arguments}}\
// expected-error{{expected ';' at end of declaration list}}\
// expected-error2{{member 'D' has the same name as its class}}
};
// Don't crash.
D<int, S> instantiate4() { return D<int, S>(nullptr); } // expected-note{{in instantiation of template class 'D<int, S>' requested here}}
|
