[cxx-abi-dev] Decltype mangling and type dependency

[David Vandevoorde]

Agreed.  Should we open a core issue for that?

	Daveed


On Feb 22, 2011, at 8:28 PM, Jason Merrill wrote:

> It occurs to me now that this is really a language question, not ABI. Is this testcase well-formed?
> 
> template<class T, T* u>
> struct S
> {
>  decltype(u) foo(T);
> };
> 
> template<class T, T *u>
> T* S<T, u>::foo(T)
> {
>  T t;
>  return t;
> }
> 
> Type matching rules aren't well specified in the WP, but it seems reasonable to say that the definition needs to use decltype as well, which matches the decision to mangle decltype(u) in the signature.
> 
> Jason