Goto definition after field exclusion should go to prop signature

TypeScript Version: master

Code

type OmitKeys<A, B> = {[P in Exclude<keyof A, B>]: A[P]}
interface Foo {
    a: number;
    b: string;
    c: boolean;
}
var c: OmitKeys<Foo, 'c'>;
c.a // goto definition doesn't work

Expected behavior:
Goto definition on c.a takes me to the Foo.a property

Actual behavior:
Goto definition doesn't work

まず、報告にある TypeScript スニペットで問題を再現し、マップ型 OmitKeys が c を除外した後の c.a に対する Go to Definition に注目します。この位置を解決する TypeScript language-service の経路を追跡します。Go to Definition が失敗せずに Foo.a に到達すれば完了です。