ジェネリック型に渡されている型引数で、必要な上限をサブタイプ化していないものを報告します。 型引数は、指定された上限のサブタイプである必要があります。

例:

class Example[A < Numeric]
end

# 'String' は 'Numeric' のサブタイプではありません
type example = Example[String]