// { dg-do run }
// Testcase for not trying a candidate that would generate an ill-formed
// instantiation.
template <int N> struct A {
int ar[N];
};
template <int N> struct B {
B () { }
B (const A<N> &) { }
B (const A<N-1> &, int);
};
int
main ()
{
A<1> a;
B<1> b1;
B<1> b2 (a);
}