[Moved to DR at the November, 2014 meeting.]

Proposed resolution (February, 2014):

Change 9.3.4.6 [dcl.fct] paragraph 8 as follows, including deleting the footnote:

If the type of a parameter includes a type of the form “pointer to array of unknown bound of T” or “reference to array of unknown bound of T,” the program is ill-formed.¹⁰¹ Functions shall not have a return type of type array or function, although...

Additional note (January, 2013):

Additional discussion of this issue has arisen . For example, the following is permissible:

  T (*p) [] = (U(*)[])0;

but the following is not:

  template<class T>
  void sp_assert_convertible( T* ) {}

  sp_assert_convertible<T[]>( (U(*)[])0 );

Notes from April 2003 meeting:

We agreed that the example should be allowed.

EDG rejects this code:

  template <typename T>
  struct S {};

  void f (S<int (*)[]>);

This is another case where the standard isn't very clear:

The language from 9.3.4.6 [dcl.fct] is:

If the type of a parameter includes a type of the form "pointer to array of unknown bound of T" or "reference to array of unknown bound of T," the program is ill-formed.

• Every type includes itself.
• T* includes T
• T[] includes T
• ...