[Bug c++/60942] New: ICE on invalid code in unify_one_argument

[d.frey at gmx dot de]

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

            Bug ID: 60942
           Summary: ICE on invalid code in unify_one_argument
           Product: gcc
           Version: 4.8.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: d.frey at gmx dot de

The following (invalid) program:

template<typename> struct A {};
struct B : A<int> {};

template<int... I>
void dummy( const A< I... >& );

int main()
{
  dummy( B() );
}

yields:

$ g++ -std=c++11 t.cc
t.cc: In function ‘int main()’:
t.cc:9:14: internal compiler error: in unify_one_argument, at cp/pt.c:15506
   dummy( B() );
              ^