PR c++/85765 - SFINAE and non-type default template arg.
[official-gcc.git] / gcc / testsuite / g++.dg / cpp0x / vt-34219-2.C
blob5bb2a21e431c60171319603ed14499eb5278e57c
1 // { dg-do compile { target c++11 } }
2 template<template<typename... T> class Comp, typename... T> void f( T... Value)
4   static_assert( Comp<T>::value > 0, "" ); // { dg-error "parameter packs|T" }
7 template<template<typename... T> class Comp, typename... T> void g( T... Value)
9   static_assert( Comp<T...>::value > 0, "" );
12 template <typename... T>
13 struct Foo
15         static const int value=1;
18 int main()
20         f<Foo>( 2 );
21         g<Foo>( 2 );