Proposed resolution:

In [meta.rel] change:

Template	Condition	Comments
...	...	...
template <class From, class To> struct is_convertible;	The code set out below shall be well formed. see below	From and To shall be complete types, arrays of unknown bound, or (possibly cv-qualified) void types.

-4- In order to instantiate the template is_convertible<From, To>, the following code shall be well formed: Given the following function prototype:

template <class T> 
  typename add_rvalue_reference<T>::type create();

the predicate condition for a template specialization is_convertible<From, To> shall be satisfied, if and only if the return expression in the following code would be well-formed, including any implicit conversions to the return type of the function.

To test() { 
  return create<From>(); 
}

[Note: This requirement gives well defined results for reference types, void types, array types, and function types. — end note]