Reports type arguments passed to generic types which do not subtype the expected upper bound. Type arguments must be a subtype of any specified upper bound.

Example:

class Example[A < Numeric]
end

# 'String' is not a subtype of 'Numeric'
type example = Example[String]