変性によって許可されていない場所で引数として使用されている型変数を報告します (unchecked と指定されていない場合に限ります)。 型変数は、共変 (out)、反変 (in)、非変 (out または in のどちらでもない) のいずれかである可能性があります。

次のルールを使用して、属性とメソッド宣言に使用されている型引数を確認します。

例:

class Example[in A, out B]
  # クラス 'Example' の共変の型変数 'B' が反変の位置で使用されています、...
  def call: (B) -> A
end