Complication: a type variable is a direct supertype of its lowerbound. So, we cannot just list the supertypes of the lowerbound, since this would require knowledge of all available type variables.

This is pretty bad, since I assumed earlier that supertypes can be listed. Maybe, is-subtype has to changed to a real test, instead of an element-of the supertype set test.

For now, lowerbounds will not be supported.

Submitted on 4 September 2005 at 23:59