// { dg-do compile }

// Dependent arrays of invalid size cause template instantiation failure.

// We'll get an error message (duplicate matching templates) if the first
//  pattern is incorrectly allowed to match.

template<int M> void foobar (int (*) [M] = 0 );
template<int M> void foobar ( );

void fn (void)
{
  foobar<0>();
  foobar<-1>();
}