gcc/testsuite/g++.dg/cpp0x/vt-34052.C

   1 // { dg-options "-std=c++0x" }
   2 template<typename... T, typename = T> struct A {}; // { dg-error "must be at the end" }
   3
   4
   5 template<template<typename... T, typename = T> class U> struct B // { dg-error "must be at the end" }
   6 {
   7   template<int> U<int> foo(); // { dg-error "mismatch|constant|invalid|invalid" }
   8 };