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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
|
// When we import this class, make sure that we bail before trying to import
// its sub-decls (i.e., "ForwardDeclaredSibling").
struct CannotImport {
void test(struct ForwardDeclaredSibling *) {}
~CannotImport() = delete;
CannotImport(CannotImport const &) = delete;
};
// We shouldn't be able to import this class either because it also doesn't have
// a copy ctor or destructor.
struct ForwardDeclaredSibling : CannotImport {};
// This is a longer regression test to make sure we don't improperly cache a
// typedef that's invalid.
namespace RegressionTest {
template <class From>
struct pointer_traits {
template <class To>
struct rebind {
typedef To other;
};
};
template <class T, class U>
struct Convert {
typedef typename pointer_traits<T>::template rebind<U>::other type;
};
template <class>
struct Forward;
template <class V>
struct SomeTypeTrait {
typedef Forward<V> *F;
typedef typename Convert<V, F>::type A;
};
template <class V>
struct Forward {
typedef typename SomeTypeTrait<V>::A A;
private:
~Forward() = delete;
Forward(Forward const &) = delete;
};
template <class V>
struct SomeOtherTypeTrait : SomeTypeTrait<V> {
typedef typename SomeTypeTrait<V>::A A;
};
// Just to instantiate all the templates.
struct FinalUser {
typedef Forward<void *> F;
typedef SomeOtherTypeTrait<void *> O;
typedef SomeTypeTrait<void *> Z;
};
void test(typename FinalUser::Z) {}
} // namespace RegressionTest
|
