unchecked
out
in
以下规则用于检查特性和方法声明中使用的类型实参:
示例:
class Example[in A, out B] # 'Example' 类的协变类型变量 'B' 用于逆变位置,… def call: (B) -> A end