1 // PR c++/32565 2 // { dg-do compile { target c++11 } } 3 // { dg-options -fno-new-ttp-matching } 4 5 template<typename...> struct A1; 6 template<template<int, int...> class T> struct A1<T<0, 1> > {}; 7 template<int, int, int...> struct B1 {}; 8 A1<B1<0, 1> > a1; 9 template<int...> struct B2 {}; 10 A1<B2<0, 1> > a2; // { dg-error "incomplete type" } 11