1// PR c++/36411
2// { dg-do compile }
3
4template<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