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
64
65
66
67
68
|
struct X {
int v;
typedef int t;
void f(X);
};
struct YB {
typedef YB Y;
int value;
typedef int type;
};
struct YBRev {
typedef int value;
int type;
};
struct Z {
void f(Z);
};
template<typename T> struct C : X, T {
using T::value;
using typename T::type;
using X::v;
using typename X::t;
};
template<typename T> struct D : X, T {
// Mismatch in type/non-type-ness.
using typename T::value;
using T::type;
using X::v;
using typename X::t;
};
#if __cplusplus <= 199711L // C++11 does not allow access declarations
template<typename T> struct E : X, T {
// Mismatch in using/access-declaration-ness.
T::value;
X::v;
};
#endif
template<typename T> struct F : X, T {
// Mismatch in nested-name-specifier.
using T::Y::value;
using typename T::Y::type;
using ::X::v;
using typename ::X::t;
};
// Force instantiation.
typedef C<YB>::type I;
typedef D<YBRev>::t I;
#if __cplusplus <= 199711L // C++11 does not allow access declarations
typedef E<YB>::type I;
#endif
typedef F<YB>::type I;
#if __cplusplus >= 201702L
template<typename ...T> struct G : T... {
using T::f...;
};
using Q = decltype(G<X, Z>());
#endif
|
