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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

// { dg-do compile { target c++11 } }
template<typename ... Args>
struct foo
{
    static bool const value = true;
};

template<typename ... Args>
struct foo< typename Args::is_applied... > // { dg-error "not deducible|Args" }
{
    static bool const value = false;
};

struct not_applied { typedef void is_applied; };
struct applied { typedef applied is_applied; };

int main()
{
    foo<applied, applied> i;
}