2 // Origin: Wolfgang Bangerth <bangerth@ticam.utexas.edu>
5 template <int> struct A { static const int i = 1; };
6 template <int> struct B {};
8 template <typename> int foo(B<0>)
13 template <typename, int j> B<A<j>::i-1> foo(B<j>)
20 return foo<int>(B<0>());