Type variable as wildcard bound
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).
More information about the compiler-dev