1 // { dg-do compile { target c++11 } }
2 template<typename ... Args>
3 struct foo
4 {
5     static bool const value = true;
6 };
7 
8 template<typename ... Args>
9 struct foo< typename Args::is_applied... > // { dg-error "not deducible|Args" }
10 {
11     static bool const value = false;
12 };
13 
14 struct not_applied { typedef void is_applied; };
15 struct applied { typedef applied is_applied; };
16 
17 int main()
18 {
19     foo<applied, applied> i;
20 }
21