Type variable as wildcard bound

[Maurizio Cimadamore]

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