gcc/testsuite/g++.dg/cpp0x/vt-33964.C

   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 }