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.

Beginne damit, das bereitgestellte Beispiel für einen mapped type zu reproduzieren, und verfolge, wie das Symbol der gemappten Eigenschaft für I[K] erstellt wird. Verfolge den Go-to-Definition-Service von j.b aus und füge einen Regressionstest hinzu, der zeigt, dass er zur entsprechenden Eigenschaft in I aufgelöst wird; fertig ist es, wenn der Service für diesen Fall funktioniert.