型変数宣言内のデフォルト型で、上限のサブタイプになっていないものを報告します。デフォルト型は、指定された上限のサブタイプである必要があります。

例:

# 'String' は 'Numeric' のサブタイプではありません
class Example[A < Numeric = String]
end