// Contributed by Dodji Seketeli <dodji@redhat.com>// Origin PR c++/35405// { dg-do compile }template<typenameT>structa{template<template<typename>classC,typenameX,C<X>*=0>structb// { dg-error "class C' is not a template|is not a valid type" }{};};voidfoo(){a<int>v;// { dg-message "instantiated from here" }}