gcc/testsuite/g++.dg/template/deduce3.C

template <typename T>
void f(int, T (*)() = 0);	// { dg-message "note" "note" }

void g() {
  typedef int A[2];
  f<A>(0); // { dg-error "" }
  // { dg-error "returning an array" "returning an array" { target *-*-* } 2 }
  typedef void F();
  f<F>(0); // { dg-error "" }
  // { dg-error "returning a function" "returning a function" { target *-*-* } 2 }
}