diff options
| -rw-r--r-- | test/SemaTemplate/metafun-apply.cpp | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/test/SemaTemplate/metafun-apply.cpp b/test/SemaTemplate/metafun-apply.cpp index e81d1421eb..7bc971f24b 100644 --- a/test/SemaTemplate/metafun-apply.cpp +++ b/test/SemaTemplate/metafun-apply.cpp @@ -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}} } + + |