gcc-4.9/gcc/testsuite/g++.dg/template/incomplete6.C


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

// PR c++/48115

template<typename> struct templ { };

template<typename T> T declval();

typedef int (*F2)(...);

template<int> struct Int { };

template<typename F, typename T>
struct S
{
    template<typename A>
        Int<sizeof( declval<F>()(T()) )>
        f(A);
};

int main()
{
    S<F2, templ<int> >().f(0);
}