73 lines
2.3 KiB
C++
73 lines
2.3 KiB
C++
// RUN: clang-cc -fsyntax-only -verify %s
|
|
|
|
// This test concerns the identity of dependent types within the
|
|
// canonical type system. This corresponds to C++ [temp.type], which
|
|
// specifies type equivalence within a template.
|
|
//
|
|
// FIXME: template template parameters
|
|
|
|
namespace N {
|
|
template<typename T>
|
|
struct X2 {
|
|
template<typename U>
|
|
struct apply {
|
|
typedef U* type;
|
|
};
|
|
};
|
|
}
|
|
|
|
namespace Nalias = N;
|
|
|
|
template<typename T>
|
|
struct X0 { };
|
|
|
|
using namespace N;
|
|
|
|
template<typename T, typename U>
|
|
struct X1 {
|
|
typedef T type;
|
|
typedef U U_type;
|
|
|
|
void f0(T); // expected-note{{previous}}
|
|
void f0(U);
|
|
void f0(type); // expected-error{{redeclar}}
|
|
|
|
void f1(T*); // expected-note{{previous}}
|
|
void f1(U*);
|
|
void f1(type*); // expected-error{{redeclar}}
|
|
|
|
void f2(X0<T>*); // expected-note{{previous}}
|
|
void f2(X0<U>*);
|
|
void f2(X0<type>*); // expected-error{{redeclar}}
|
|
|
|
void f3(X0<T>*); // expected-note{{previous}}
|
|
void f3(X0<U>*);
|
|
void f3(::X0<type>*); // expected-error{{redeclar}}
|
|
|
|
void f4(typename T::template apply<U>*); // expected-note{{previous}}
|
|
void f4(typename U::template apply<U>*);
|
|
void f4(typename type::template apply<T>*);
|
|
void f4(typename type::template apply<U_type>*); // expected-error{{redeclar}}
|
|
|
|
void f5(typename T::template apply<U>::type*); // expected-note{{previous}}
|
|
void f5(typename U::template apply<U>::type*);
|
|
void f5(typename U::template apply<T>::type*);
|
|
void f5(typename type::template apply<T>::type*);
|
|
void f5(typename type::template apply<U_type>::type*); // expected-error{{redeclar}}
|
|
|
|
void f6(typename N::X2<T>::template apply<U> *); // expected-note{{previous}}
|
|
void f6(typename N::X2<U>::template apply<U> *);
|
|
void f6(typename N::X2<U>::template apply<T> *);
|
|
void f6(typename ::N::X2<type>::template apply<U_type> *); // expected-error{{redeclar}}
|
|
|
|
void f7(typename N::X2<T>::template apply<U> *); // expected-note{{previous}}
|
|
void f7(typename N::X2<U>::template apply<U> *);
|
|
void f7(typename N::X2<U>::template apply<T> *);
|
|
void f7(typename X2<type>::template apply<U_type> *); // expected-error{{redeclar}}
|
|
|
|
void f8(typename N::X2<T>::template apply<U> *); // expected-note{{previous}}
|
|
void f8(typename N::X2<U>::template apply<U> *);
|
|
void f8(typename N::X2<U>::template apply<T> *);
|
|
void f8(typename ::Nalias::X2<type>::template apply<U_type> *); // expected-error{{redeclar}}
|
|
};
|