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