]> granicus.if.org Git - clang/commitdiff
Test a few more variants of dependent type names
authorDouglas Gregor <dgregor@apple.com>
Thu, 7 May 2009 15:31:47 +0000 (15:31 +0000)
committerDouglas Gregor <dgregor@apple.com>
Thu, 7 May 2009 15:31:47 +0000 (15:31 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@71161 91177308-0d34-0410-b5e6-96231b3b80d8

test/SemaTemplate/dependent-type-identity.cpp

index 98fc2a8c6e51f4eb5455747246ef08f2e481a833..61fa81a654990c41019f13b6c8ec7d662c15907c 100644 (file)
@@ -1,8 +1,22 @@
 // RUN: clang-cc -fsyntax-only -verify %s
 
+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;
@@ -34,4 +48,19 @@ struct X1 {
   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}}
 };