Work-in-progress implementation of C++0x [temp.arg.explicit]p9, which

allows an argument pack determines via explicit specification of
function template arguments to be extended by further, deduced
arguments. For example:

template<class ... Types> void f(Types ... values);
void g() { 
  f<int*, float*>(0, 0, 0);   // Types is deduced to the sequence int*, float*, int
}

There are a number of FIXMEs in here that indicate places where we
need to implement + test retained expansions, plus a number of other
places in deduction where we need to correctly cope with the
explicitly-specified arguments when deducing an argument
pack. Furthermore, it appears that the RecursiveASTVisitor needs to be
auditied; it's missing some traversals (especially w.r.t. template
arguments) that cause it not to find unexpanded parameter packs when
it should.

The good news, however, is that the tr1::tuple implementation now
works fully, and the tr1::bind example (both from N2080) is actually
working now. 


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@123163 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 0 insertions, 4 deletions

diff --git a/test/CXX/temp/temp.decls/temp.variadic/example-tuple.cpp b/test/CXX/temp/temp.decls/temp.variadic/example-tuple.cpp
index ff8dfda768..3b4bd7777d 100644
--- a/test/CXX/temp/temp.decls/temp.variadic/example-tuple.cpp
+++ b/test/CXX/temp/temp.decls/temp.variadic/example-tuple.cpp
@@ -206,9 +206,6 @@ get(const tuple<Values...>& t) {
   return get_impl<I, tuple<Values...> >::get(t);
 }
 
-#if 0
-// FIXME: Not yet functional, because we aren't currently able to
-// extend a partially-explicitly-specified parameter pack.
 void test_element_access(tuple<int*, float*, double*&> t3) {
   int i;
   float f;
@@ -217,7 +214,6 @@ void test_element_access(tuple<int*, float*, double*&> t3) {
   get<1>(t3) = &f;
   get<2>(t3) = &d;
 }
-#endif
 
 // Relational operators
 inline bool operator==(const tuple<>&, const tuple<>&) { return true; }