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