1// PR c++/51852
2// { dg-do compile { target c++11 } }
3// { dg-options "--param ggc-min-heapsize=0 --param ggc-min-expand=0" }
4
5template <typename, typename>
6class transformed {};
7
8template <class R, class F>
9transformed<F, R> transform (R r, F f);
10
11template <typename, typename>
12class joined {};
13
14template <typename T, typename U>
15joined<T, U> join (T t, U u);
16
17template <typename T, typename U, typename V, typename... Rest>
18auto join (T t, U u, V v, Rest... rest) -> decltype (join (join (t, u), v, rest...));
19
20template <typename F, typename... Rs>
21auto polymorphic_transform (F f, Rs... rs) -> decltype (join (transform(rs, f)...));
22
23int
24main ()
25{
26  polymorphic_transform (0, 0, 0);
27}
28