示例:
module Enumerable[unchecked out A] end class Example[in A] # 'Example' 类的逆变类型变量 'A' 用作协变实参 include Enumerable[A] end