| // PR c++/9452 | |
| // Origin: Wolfgang Bangerth <bangerth@ticam.utexas.edu> | |
| // { dg-do compile } | |
| template <int> struct A { static const int i = 1; }; | |
| template <int> struct B {}; | |
| template <typename> int foo(B<0>) | |
| { | |
| return 0; | |
| } | |
| template <typename, int j> B<A<j>::i-1> foo(B<j>) | |
| { | |
| return B<0>(); | |
| } | |
| int main() | |
| { | |
| return foo<int>(B<0>()); | |
| } |