1 // { dg-do compile { target c++11 } }
2 template<typename... T, typename = T> struct A {}; // { dg-error "parameter pack" }
3 
4 
5 template<template<typename... T, typename = T> class U> struct B // { dg-error "parameter pack" }
6 {
7   template<int> U<int> foo(); // { dg-error "mismatch|constant|wrong|invalid" }
8 };
9