1 // PR c++/36411
2 // { dg-do compile }
3 
4 template<template<void> class> struct A // { dg-error "not a valid type" }
5 {
6   template<template<int> class T> A<T> foo(); // { dg-error "mismatch|expected|invalid" }
7 };
8