| // PR c++/33965 | |
| // { dg-do compile { target c++11 } } | |
| template<typename T> | |
| struct foo | |
| { | |
| static bool const value = false; | |
| }; | |
| template<template<typename...> class T, typename... Args> | |
| struct foo<T<Args...> > | |
| { | |
| static bool const value = true; | |
| }; | |
| template<int I> | |
| struct int_ | |
| {}; | |
| int main() | |
| { | |
| static_assert(foo<int_<0> >::value == false, | |
| "picked up partial specialization, but should not have"); | |
| } |