1 // PR c++/33965
2 // { dg-do compile { target c++11 } }
3 template<typename T>
4 struct foo
5 {
6     static bool const value = false;
7 };
8 
9 template<template<typename...> class T, typename... Args>
10 struct foo<T<Args...> >
11 {
12     static bool const value = true;
13 };
14 
15 template<int I>
16 struct int_
17 {};
18 
19 int main()
20 {
21   static_assert(foo<int_<0> >::value == false,
22 		"picked up partial specialization, but should not have");
23 }
24