Services for non-homomorphic mapped type

TypeScript Version: 3.0.0-dev.20180712

Code

interface I {
 a: number;
 b: number;
}
type J = { [K in "b"]: I[K] };
declare const j: J;
j.b; // Go-to-definition does not work

Expected behavior:

Since the type we're getting is I[K], the mapped property symbol should have a reference back to the corresponding property in I.

Actual behavior:

The mapped type creates an unrelated property symbol and services don't work.

まず、提供された mapped type の例を再現し、I[K] に対して mapped property symbol がどのように作成されるかを追跡します。j.b から go-to-definition サービスをたどり、それが I 内の対応するプロパティに解決されることを示す回帰テストを追加します。このケースでサービスが動作すれば完了です。