]> granicus.if.org Git - clang/commitdiff
Improve the dependent nested-name-specifier test a bit
authorDouglas Gregor <dgregor@apple.com>
Tue, 31 Mar 2009 20:07:16 +0000 (20:07 +0000)
committerDouglas Gregor <dgregor@apple.com>
Tue, 31 Mar 2009 20:07:16 +0000 (20:07 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@68136 91177308-0d34-0410-b5e6-96231b3b80d8

test/SemaTemplate/metafun-apply.cpp

index e81d1421ebe89a9673521a8b8e532cdde48dd4ab..7bc971f24b5971fdb7abdf7e7f5e55fa25547107 100644 (file)
@@ -14,9 +14,17 @@ struct add_reference {
   };
 };
 
+struct bogus {
+  struct apply {
+    typedef int type;
+  };
+};
+
 template<typename MetaFun, typename T>
 struct apply1 {
-  typedef typename MetaFun::template apply<T>::type type; // expected-note{{in instantiation of template class 'struct add_reference::apply<void>' requested here}}
+  typedef typename MetaFun::template apply<T>::type type; // expected-note{{in instantiation of template class 'struct add_reference::apply<void>' requested here}} \
+  // expected-error{{'apply' following the 'template' keyword does not refer to a template}} \
+  // FIXME: expected-error{{type 'MetaFun::template apply<int>' cannot be used prior to '::' because it has no members}}
 };
 
 int i;
@@ -27,4 +35,9 @@ apply1<add_reference, float>::type fr = i; // expected-error{{non-const lvalue r
 void test() {
   apply1<add_reference, void>::type t; // expected-note{{in instantiation of template class 'struct apply1<struct add_reference, void>' requested here}} \
   // FIXME: expected-error{{unexpected type name 'type': expected expression}}
+
+  apply1<bogus, int>::type t2; // expected-note{{in instantiation of template class 'struct apply1<struct bogus, int>' requested here}} \
+  // FIXME: expected-error{{unexpected type name 'type': expected expression}}
 }
+
+