Acces to private field from nested class when the type of reference is a generic type variable with upper bound of outer class

[Peter Levart]

On Friday, October 07, 2011 10:45:38 PM Peter Levart wrote:
> The same goes for types that are expressed as type-variables. They are a
> conjunction of all  possible types that match the bounds (if any). The
> language is sound if it does not "prefer" just one of them.

Pardom my ignorance. I'm no expert in type systems, but if the type is defined as a set 
containing members (possible values) then a type-variable is a "disjunction" of all possible 
types that match is't bounds (not "conjunction").

Correct me if I'm wrong.

Peter