[gcc.git] / gcc / testsuite / g++.dg / cpp0x / sfinae55.C

// PR c++/64970
// { dg-do compile { target c++11 } }

template<typename T>
T && declval();

template<typename T>
struct void_ { using type = void; };

template<typename T>
using void_t = typename void_<T>::type;

template<class A, class B>
struct Outer
{
    template<class C, class D>
    using Inner = decltype(true ? declval<C>() : declval<D>());
};

template<class A, class B, typename Enable = void>
struct S
{};

template<class A, class B>
struct S<A, B, void_t<typename Outer<A, B>::template Inner<A, B>>>
{};

struct A{};
struct B{};
int main()
{
    S<A, B> s;
}
Commit	Line	Data
81adbcea PC	1	// PR c++/64970
	2	// { dg-do compile { target c++11 } }
	3
	4	template<typename T>
	5	T && declval();
	6
	7	template<typename T>
	8	struct void_ { using type = void; };
	9
	10	template<typename T>
	11	using void_t = typename void_<T>::type;
	12
	13	template<class A, class B>
	14	struct Outer
	15	{
	16	template<class C, class D>
	17	using Inner = decltype(true ? declval<C>() : declval<D>());
	18	};
	19
	20	template<class A, class B, typename Enable = void>
	21	struct S
	22	{};
	23
	24	template<class A, class B>
	25	struct S<A, B, void_t<typename Outer<A, B>::template Inner<A, B>>>
	26	{};
	27
	28	struct A{};
	29	struct B{};
	30	int main()
	31	{
	32	S<A, B> s;
	33	}