On 13/04/2012 19:47, Jonathan M Davis wrote:
I'd just like to verify that my understanding of T : T* in this template is correct:struct S(T : T*)
<snip>
it appears that the compiler is instead taking this to mean that the pointer part of the type should be stripped from the template argument's type.
<snip> Yes. It's more or less syntactic saccharin for struct S(U : T*, T) { T t; } Stewart.