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