报告继承语句(超类子句、自类型或包含调用)中使用的具有不正确方差的类型实参。 传递给继承语句的类型实参必须与声明类型变量的方差匹配。

示例:

module Enumerable[unchecked out A]
end

class Example[in A]
  # 'Example' 类的逆变类型变量 'A' 用作协变实参
  include Enumerable[A]
end