/home/manuel/src/test/gcc/testsuite/g++.dg/template/recurse3.C: In instantiation of ‘const int Y<1000>::value’:
/home/manuel/src/test/gcc/testsuite/g++.dg/template/recurse3.C:17:17:   instantiated from here
/home/manuel/src/test/gcc/testsuite/g++.dg/template/recurse3.C:13:46: error: ‘<expression error>’ is not a valid template argument for type ‘int’ because it is a non-constant expression

Testcase is related to PR9335.

// PR c++/9335
// We should not see an error about non-constant initialization.
// { dg-do compile }
// { dg-options "-ftemplate-depth-15" }
template<int N> struct Y;
template <int N> struct X {
  static const int value = X<Y<N-1>::value>::value;
  // { dg-message "skipping \d instantiation contexts" "" { target *-*-* } 0 }
  // { dg-bogus "expression error" "" { xfail *-*-* } 0 }
};

template <int N> struct Y {
  static const int value = Y<X<N-1>::value>::value;  // { dg-error "incomplete type" }

};

template struct Y<1000>;