Type variable as wildcard bound

[Zhong Yu]

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