不允许对超types的直接子types进行投影

我有一个像下面这样的抽象类:

abstract class AbstractSync<out C : Configuration> : ISync { internal abstract val configuration: C ... } 

我想要另一个inheritance自这个的抽象类:

 abstract class CascadedSync : AbstractSync {} 

CascadedSync类不应修改通用参数C,实际上它只应实现一个ISync的方法,而不是其他的方法。

我正在尝试不同的语法来实现这个看似简单的任务。 在Java中,这看起来就像这样:

 abstract class CascadedSync extends AbstractSync { } 

在IntelliJ的帮助下将其翻译成Kotlin会产生如下结果:

 abstract class CascadedSync : AbstractSync() 

但在同一时间给出了以下错误:

不允许对超types的直接子types进行投影

什么是正确的语法?

在Kotlin中,与Java不同,types参数不是从types隐式复制到它们的子types,即使不修改它们,它们也应该在子types声明中重新声明:

 abstract class CascadedSync> : AbstractSync() { // ... }