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