// { 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>();}