// { dg-do assemble }
class X
{
public:
  template <typename A, typename B, typename C>
  X() {}
  
  template <typename A, typename B>
  X::X<A, void, B>() {} // { dg-error "" } non-template type used as a template
};