1 //PR c++/28638
2 
3 template<void> struct A;  // { dg-error "not a valid type" }
4 
5 template<template<int> class> struct B {};
6 
7 B<A> b;                  // { dg-error "template|invalid type" }
8