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