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