正しくない変性がある継承ステートメント (スーパークラス節、自己型、またはインクルージョンの呼び出し) で使用されている型引数を報告します。 継承ステートメントに渡される型引数と宣言している型変数の変性は一致している必要があります。

例:

module Enumerable[unchecked out A]
end

class Example[in A]
  # クラス 'Example' の共変の型変数 'A' が共変引数として使用されています
  include Enumerable[A]
end