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>
8 struct b // { dg-error "class C' is not a template|is not a valid type" }
16 a<int> v; // { dg-message "instantiated from here" }