Typescript型ガードがジェネリック型のコンテキストで動作するにはどうすればよいですか？

Question

下のv2の初期化では、次のようになります。Type 'T[keyof T]' cannot be converted to type 'number'.何が問題なのですか？

private func<T extends Object>(o:T, prop: keyof(T)): void { 
    const val = o[prop] 
    if (typeof val === 'number') { 
     const v2: number = val as number 
    } 
} 

これは、以下、非ジェネリックコンテキストで動作[UPDATE]が、発信者のみがオブジェクト自体の特性を使用することができるので、これは、回避策として有用ではありません。

private func2(o:Object, prop: keyof(Object)): void { 
    const val = o[prop] 
    if (typeof val === 'number') { 
     const v2: number = val as number 
    } 
} 

これは私が問題に集中するために抽出した愚かな例です。本当の文脈が助けになるなら、私に知らせてください。

Answer 1

私は活字体に新しいですが、あなたはそれ以外にも提案here

private func1<T extends Object>(o:T, prop: keyof(T)): void { 
    const val = o[prop] 
    if (typeof val === 'number') { 
     const v2: number = val as any as number 
    } 

としてそれをキャスト倍にする必要がありますが、この多分ようにそれを使用することができますように私には思えますか？私は少なくともドキュメントでそれを読んでいます。 Section Index Types

private func<T extends Object, K extends keyof T>(o: T, prop: K): void { 
    const val = o[prop] 
    if (typeof val === 'number') { 
     const v2 = val as any as number 
    } 
} 

希望します。