Type variable as wildcard bound
Maurizio Cimadamore
maurizio.cimadamore at oracle.com
Thu Nov 17 14:35:45 PST 2011
On 17/11/11 14:37, Rémi Forax wrote:
> but T can represent a class, so I don't see how T & Number can be valid ?
I tend to agree with you - however the section about intersection types
defines how to form intersection types featuring one or more
type-variables, so the language machinery already needs to handle that
sort of complexity. I guess it's matter of choosing as to whether we
want to leverage it in capture conversion or not.
Maurizio
More information about the compiler-dev
mailing list