1/* { dg-do compile } */
2/* { dg-additional-options "-std=c++14" } */
3
4enum expression_template_option { et_on };
5template <class, expression_template_option = et_on> class A;
6template <class, class, class, class = void, class = void> struct expression;
7template <class T> struct B { typedef const T &type; };
8template <class tag, class A1, class A2, class A3, class A4>
9struct B<expression<tag, A1, A2, A3, A4>> {
10  typedef expression<tag, A1, A2> type;
11};
12template <class tag, class Arg1, class Arg2>
13struct expression<tag, Arg1, Arg2> {
14  expression(Arg1 p1, const Arg2 &p2) : arg1(p1), arg2(p2) {}
15  typename B<Arg1>::type arg1;
16  typename B<Arg2>::type arg2;
17};
18template <class Backend> expression<int, int, A<Backend>> sin(A<Backend>) {
19  return expression<int, int, A<Backend>>(0, 0);
20}
21template <class tag, class A1, class A2, class A3, class A4>
22expression<int, int, expression<tag, A1, A2>>
23  asin(expression<tag, A1, A2, A3, A4> p1) {
24  return expression<int, int, expression<tag, A1, A2>>(0, p1);
25}
26template <class B, expression_template_option ET, class tag, class Arg1,
27	  class Arg2, class Arg3, class Arg4>
28expression<int, A<B>, expression<tag, Arg1, Arg2>>
29  operator+(A<B, ET>, expression<tag, Arg1, Arg2, Arg3, Arg4> p2) {
30  return expression<int, A<B>, expression<tag, Arg1, Arg2>>(0, p2);
31}
32template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class tag2,
33	  class Arg1b, class Arg2b, class Arg3b, class Arg4b>
34expression<int, expression<tag, Arg1, Arg2>, expression<tag2, Arg1b, Arg2b>>
35  operator*(expression<tag, Arg1, Arg2, Arg3, Arg4> p1,
36	    expression<tag2, Arg1b, Arg2b, Arg3b, Arg4b> p2) {
37  return expression<int, expression<tag, Arg1, Arg2>,
38		    expression<tag2, Arg1b, Arg2b>>(p1, p2);
39}
40template <class B> expression<int, A<B>, A<B>> operator/(A<B>, A<B>) {
41  return expression<int, A<B>, A<B>>(0, 0);
42}
43template <class tag, class Arg1, class Arg2, class Arg3, class Arg4, class V>
44void operator/(expression<tag, Arg1, Arg2, Arg3, Arg4>, V);
45template <class, expression_template_option> class A {
46public:
47  A() {}
48  template <class V> A(V) {}
49};
50template <class T, class Policy> void jacobi_recurse(T, T, Policy) {
51  T a, b, c;
52  (a+asin(b/c) * sin(a)) / 0.1;
53}
54template <class T, class Policy> void jacobi_imp(T p1, Policy) {
55  T x;
56  jacobi_recurse(x, p1, 0);
57}
58template <class T, class U, class V, class Policy>
59void jacobi_elliptic(T, U, V, Policy) {
60  jacobi_imp(static_cast<T>(0), 0);
61}
62template <class U, class T, class Policy> void jacobi_sn(U, T, Policy) {
63  jacobi_elliptic(static_cast<T>(0), 0, 0, 0);
64}
65template <class U, class T> void jacobi_sn(U, T p2) { jacobi_sn(0, p2, 0); }
66template <class T> void test_extra(T) {
67  T d;
68  jacobi_sn(0, d);
69}
70void foo() { test_extra(A<int>()); }
71