Reports default types in type variable declarations which do not subtype the upper bound. Default types must be a subtype of any specified upper bound.

Example:

# 'String' is not a subtype of 'Numeric'
class Example[A < Numeric = String]
end