このシグネチャには何が問題なのですか？ （typescriptです-2.5）

Question

Iは

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."); 
    } 
} 

コンパイラはその文句インターフェース

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

及び実装を有する：

• インターフェース-適切に実装されていない

  • （...）

    • タイプ述語 'の値が触覚では、' 割り当て可能ではないの 'の値が TExpectedされる'
      • タイプ '触覚' は 'TExpected'を型に代入ではありません

何が問題なのですか？これは型チェッカーのバグですか？

PS。それはTs-2.3の下でコンパイルされました。ジェネリックとして

Answer 1

現在、github.com/Microsoft/TypeScript/issues/18202の回答に記載されているように、動作させる機会はありません。

Answer 2

あなたがinterface（とないインターフェイスメソッド）を定義するために注意する必要がありますし、class（とないインタフェースの実装方法）：

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

export class NodeJsTestingFrameworkAdapter<TActual, TExpected extends TActual> implements ITypeAssertions<TActual, TExpected> 
{ 
    isOfTypeElseFail (value: TActual, oxIsOfType: (xVal: TActual) => boolean): value is TExpected 
    { 
     return true; 
    } 
} 

これはTypescript playgroundにコンパイルされます。

残念なことに、あなたのコメントによると、これはそれぞれのタイプのペアでクラスを実装する必要があるため、これはあなたが望むものではありません。