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