typescript - 这个签名有什么问题？ ( typescript -2.5)

Question

我有一个接口(interface)

export interface ITypeAssertions
    {
         isOfTypeElseFail<TExpected extends TActual, TActual>(value: TActual, oxIsOfType: (xVal: TActual) => boolean): value is TExpected; 
    }

和实现

export class NodeJsTestingFrameworkAdapter implements ITypeAssertions
{
  isOfTypeElseFail<TExpected extends TActual, TActual>(value: TActual, oxIsOfType: (xVal: TActual) => boolean): value is TExpected
  {
       throw new Error("Method not implemented.");
  }
}

编译器提示:

• 接口(interface)未正确实现

  • (...)

    • 类型谓词“value is TActual”不可分配给“value is”T预期'
      • 类型“TActual”不可分配给类型“TExpected”

怎么了？这是类型检查器中的错误吗？

附言。它在 Ts-2.3 下编译良好。

Answer 1

目前没有机会让它工作，因为它在 github.com/Microsoft/TypeScript/issues/18202 下的响应中有描述。