Facilitates matching ProperTypeArguments that define a lower type bound. E.g.,
a type bound which uses a ContravarianceIndicator (? super) such as in
List<? super Number>.
Example:
matches, e.g., List<? super Integer>
val scts : SimpleClassTypeSignature = ...
scts.typeArguments.head match {
case LowerTypeBound(objectType) => ...
case _ => ...
}
Facilitates matching ProperTypeArguments that define a lower type bound. E.g., a type bound which uses a ContravarianceIndicator (
? super
) such as inList<? super Number>
.matches, e.g.,
List<? super Integer>
For matching signatures see Signature.