On 8/14/07, Eylon Stroh <[EMAIL PROTECTED]> wrote: > From the proposal: > "The return type T2 is ok, even if the function returns a T1 instead... > covariant occurrences of Self (eg in the result type) are replaced by > T2" >
I was also wondering about this. To me, if someone writes "Self" for an argument or return type, they probably mean T1. If they actually want it to be "*", why not let them write "*"? Or is there something else going on here? Peter _______________________________________________ Es4-discuss mailing list [email protected] https://mail.mozilla.org/listinfo/es4-discuss
