# The set of generic types found in a contravariant (and invariant) position
	var contravar_classes = new HashSet[MClassType]