Type variable as wildcard bound

Zhong Yu zhong.j.yu at gmail.com
Thu Nov 17 08:37:17 PST 2011


On Thu, Nov 17, 2011 at 7:37 AM, Rémi Forax <forax at univ-mlv.fr> wrote:
> but T can represent a class, so I don't see how T & Number can be valid ?

Maybe the failure can be raised at the call site where the value of T
is known to be incompatible with Number.

Allowing T&Number at declare site could be useful (not that I have
encountered a real use case).

Zhong Yu



More information about the compiler-dev mailing list