报告在其方差不允许的位置用作实参的类型变量(只要它们没有被标记为 unchecked)。 类型变量的方差可以是协变 (out)、逆变 (in) 或 不变(既不是 out 也不是 in)。

以下规则用于检查特性和方法声明中使用的类型实参:

示例:

class Example[in A, out B]
  # 'Example' 类的协变类型变量 'B' 用于逆变位置,…
  def call: (B) -> A
end