Covariant return types are now supported.

• 现支持协变返回类型。