// 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> void foo(B<0>) {} // { dg-error "" } | |
template <typename, int j> B<A<j>::i-1> foo(B<j>) { return B<0>(); } // { dg-error "" } | |
void bar() { foo<int>(B<0>()); } // { dg-error "ambiguous" } |