1 // { dg-do compile { target c++11 } }
3 struct int_placeholder;
12 struct do_replace<int_placeholder>
17 template<typename T> struct lambdalike
22 template<template<typename...> class TT, typename... Args>
23 struct lambdalike<TT<Args...> > {
24 typedef TT<typename do_replace<Args>::type...> type;
28 template<typename T, typename U>
31 static const bool value = false;
37 static const bool value = true;
40 template<typename... Elements> struct tuple;
41 template<typename T1, typename T2> struct pair;
43 static_assert(is_same<lambdalike<tuple<float, int_placeholder, double>>::type,
44 tuple<float, int, double>>::value,
45 "MPL lambda-like replacement on tuple");
46 static_assert(is_same<lambdalike<pair<float, int_placeholder>>::type,
47 pair<float, int>>::value,
48 "MPL lambda-like replacement on pair");
53 template<typename Arg0, typename Lambda>
59 template<typename Arg0>
65 template<typename Arg0, template<typename...> class T, typename... Pack>
66 struct eval<Arg0, T<Pack...> >
68 typedef T< typename eval<Arg0, Pack>::type... > type;
71 static_assert(is_same<eval<int, tuple<float, _1, double>>::type,
72 tuple<float, int, double>>::value, "eval tuple");
73 static_assert(is_same<eval<int, pair<_1, double>>::type,
74 pair<int, double>>::value, "eval pair");
75 static_assert(is_same<eval<int,
76 tuple<pair<_1, _1>, pair<float, float>,
77 pair<double, _1>>>::type,
78 tuple<pair<int, int>, pair<float, float>, pair<double, int>>>::value,