1 // Contributed by Dodji Seketeli <dodji@redhat.com>
5 template<typename T> struct a
7 template <template <typename> class C, typename X, C<X>* =0>
17 a<int>::b<a,int> b1; // { dg-error "template argument|converted constant" }
20 // { dg-prune-output "invalid type in declaration" }