Date: 2011-03-15.00:00:00

Proposed resolution (March, 2011):

This issue is resolved by the resolution of issue 1057 in document N3262.

Date: 2011-02-22.00:00:00

Type matching rules aren't well-specified in the current Standard, but it seems reasonable to say that if a declaration uses decltype , its definition must do so as well. For example, the following should be ill-formed:

    template<class T, T* u> struct S {
      decltype(u) foo(T);
    };
    template<class T, T *u> T* S<T, u>::foo(T) {
       return nullptr;
    }