[Bug c++/50271] New: [C++0x] G++ fails to handle combination of explicit and deduced variadic template arguments

[jason at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50271

             Bug #: 50271
           Summary: [C++0x] G++ fails to handle combination of explicit
                    and deduced variadic template arguments
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Keywords: rejects-valid
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: jason@gcc.gnu.org


This should be accepted:

template<class T, class U> struct A { };
template<class... T, class ... U> void f( A<T,U>...p);

void g() { 
    f<int>( 
        A<int,unsigned>(),
        A<short,unsigned short>()  
        );
}

but we end up deducing T to be {int,int,short} rather than {int,short} as it
should be.