// { dg-do assemble  }

template<class E,class F> class D
{
};

template<template<class> class D,class E> class C
{
};

int main()
{
	C<D,int> c;		// { dg-error "" } param list not match/sees it as not having a type
}