JavaScriptPlugins
diff --git a/‎tests/baselines/reference/isomorphicMappedTypeInference.types
Lines changed: 3 additions & 3 deletions b/‎tests/baselines/reference/isomorphicMappedTypeInference.types
Lines changed: 3 additions & 3 deletions
diff --git a/‎tests/baselines/reference/keyofAndForIn.types
Lines changed: 12 additions & 12 deletions b/‎tests/baselines/reference/keyofAndForIn.types
Lines changed: 12 additions & 12 deletions
diff --git a/‎tests/baselines/reference/keyofAndIndexedAccess.types
Lines changed: 1 addition & 1 deletion b/‎tests/baselines/reference/keyofAndIndexedAccess.types
Lines changed: 1 addition & 1 deletion
@@ -69,7 +69,7 @@ function boxify<T>(obj: T): Boxified<T> {
 
         result[k] = box(obj[k]);
 >result[k] = box(obj[k]) : Box<T[keyof T]>
->result[k] : Box<T[keyof T]>
+>result[k] : Boxified<T>[keyof T]
 >result : Boxified<T>
 >k : keyof T
 >box(obj[k]) : Box<T[keyof T]>
@@ -107,7 +107,7 @@ function unboxify<T>(obj: Boxified<T>): T {
 >k : keyof T
 >unbox(obj[k]) : T[keyof T]
 >unbox : <T>(x: Box<T>) => T
->obj[k] : Box<T[keyof T]>
+>obj[k] : Boxified<T>[keyof T]
 >obj : Boxified<T>
 >k : keyof T
     }
@@ -131,7 +131,7 @@ function assignBoxified<T>(obj: Boxified<T>, values: T) {
         obj[k].value = values[k];
 >obj[k].value = values[k] : T[keyof T]
 >obj[k].value : T[keyof T]
->obj[k] : Box<T[keyof T]>
+>obj[k] : Boxified<T>[keyof T]
 >obj : Boxified<T>
 >k : keyof T
 >value : T[keyof T]
 
@@ -27,8 +27,8 @@ function f1<K extends string, T>(obj: { [P in K]: T }, k: K) {
 >obj : { [P in K]: T; }
 
         let x1 = obj[k1];
->x1 : T
->obj[k1] : T
+>x1 : { [P in K]: T; }[K]
+>obj[k1] : { [P in K]: T; }[K]
 >obj : { [P in K]: T; }
 >k1 : K
     }
@@ -37,8 +37,8 @@ function f1<K extends string, T>(obj: { [P in K]: T }, k: K) {
 >obj : { [P in K]: T; }
 
         let x2 = obj[k2];
->x2 : T
->obj[k2] : T
+>x2 : { [P in K]: T; }[K]
+>obj[k2] : { [P in K]: T; }[K]
 >obj : { [P in K]: T; }
 >k2 : K
     }
@@ -70,8 +70,8 @@ function f2<T>(obj: { [P in keyof T]: T[P] }, k: keyof T) {
 >obj : { [P in keyof T]: T[P]; }
 
         let x1 = obj[k1];
->x1 : T[keyof T]
->obj[k1] : T[keyof T]
+>x1 : { [P in keyof T]: T[P]; }[keyof T]
+>obj[k1] : { [P in keyof T]: T[P]; }[keyof T]
 >obj : { [P in keyof T]: T[P]; }
 >k1 : keyof T
     }
@@ -80,8 +80,8 @@ function f2<T>(obj: { [P in keyof T]: T[P] }, k: keyof T) {
 >obj : { [P in keyof T]: T[P]; }
 
         let x2 = obj[k2];
->x2 : T[keyof T]
->obj[k2] : T[keyof T]
+>x2 : { [P in keyof T]: T[P]; }[keyof T]
+>obj[k2] : { [P in keyof T]: T[P]; }[keyof T]
 >obj : { [P in keyof T]: T[P]; }
 >k2 : keyof T
     }
@@ -115,8 +115,8 @@ function f3<T, K extends keyof T>(obj: { [P in K]: T[P] }, k: K) {
 >obj : { [P in K]: T[P]; }
 
         let x1 = obj[k1];
->x1 : T[K]
->obj[k1] : T[K]
+>x1 : { [P in K]: T[P]; }[K]
+>obj[k1] : { [P in K]: T[P]; }[K]
 >obj : { [P in K]: T[P]; }
 >k1 : K
     }
@@ -125,8 +125,8 @@ function f3<T, K extends keyof T>(obj: { [P in K]: T[P] }, k: K) {
 >obj : { [P in K]: T[P]; }
 
         let x2 = obj[k2];
->x2 : T[K]
->obj[k2] : T[K]
+>x2 : { [P in K]: T[P]; }[K]
+>obj[k2] : { [P in K]: T[P]; }[K]
 >obj : { [P in K]: T[P]; }
 >k2 : K
     }
 
@@ -2194,7 +2194,7 @@ class Form<T> {
 
         this.childFormFactories[prop](value)
 >this.childFormFactories[prop](value) : Form<T[K]>
->this.childFormFactories[prop] : (v: T[K]) => Form<T[K]>
+>this.childFormFactories[prop] : { [K in keyof T]: (v: T[K]) => Form<T[K]>; }[K]
 >this.childFormFactories : { [K in keyof T]: (v: T[K]) => Form<T[K]>; }
 >this : this
 >childFormFactories : { [K in keyof T]: (v: T[K]) => Form<T[K]>; }