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