From 4ce494a27d7727847eb94b508677ea981de8692c Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <andersh@microsoft.com>
Date: Sat, 19 Nov 2016 15:10:35 -0800
Subject: [PATCH] Accept new baselines

---
 .../reference/keyofAndIndexedAccess.js        |  84 +++++++
 .../reference/keyofAndIndexedAccess.symbols   | 230 +++++++++++++++---
 .../reference/keyofAndIndexedAccess.types     | 182 ++++++++++++++
 3 files changed, 460 insertions(+), 36 deletions(-)

diff --git a/tests/baselines/reference/keyofAndIndexedAccess.js b/tests/baselines/reference/keyofAndIndexedAccess.js
index dd59a5a1b4c..eef81f4d5f7 100644
--- a/tests/baselines/reference/keyofAndIndexedAccess.js
+++ b/tests/baselines/reference/keyofAndIndexedAccess.js
@@ -181,6 +181,46 @@ function f40(c: C) {
     let z: Z = c["z"];
 }
 
+function f50<T>(k: keyof T, s: string, n: number) {
+    const x1 = s as keyof T;
+    const x2 = n as keyof T;
+    const x3 = k as string;
+    const x4 = k as number;
+    const x5 = k as string | number;
+}
+
+function f51<T, K extends keyof T>(k: K, s: string, n: number) {
+    const x1 = s as keyof T;
+    const x2 = n as keyof T;
+    const x3 = k as string;
+    const x4 = k as number;
+    const x5 = k as string | number;
+}
+
+function f52<T>(obj: { [x: string]: boolean }, k: keyof T, s: string, n: number) {
+    const x1 = obj[s];
+    const x2 = obj[n];
+    const x3 = obj[k];
+}
+
+function f53<T, K extends keyof T>(obj: { [x: string]: boolean }, k: K, s: string, n: number) {
+    const x1 = obj[s];
+    const x2 = obj[n];
+    const x3 = obj[k];
+}
+
+function f54<T>(obj: T, key: keyof T) {
+    for (let s in obj[key]) {
+    }
+    const b = "foo" in obj[key];
+}
+
+function f55<T, K extends keyof T>(obj: T, key: K) {
+    for (let s in obj[key]) {
+    }
+    const b = "foo" in obj[key];
+}
+
 // Repros from #12011
 
 class Base {
@@ -329,6 +369,40 @@ function f40(c) {
     var y = c["y"];
     var z = c["z"];
 }
+function f50(k, s, n) {
+    var x1 = s;
+    var x2 = n;
+    var x3 = k;
+    var x4 = k;
+    var x5 = k;
+}
+function f51(k, s, n) {
+    var x1 = s;
+    var x2 = n;
+    var x3 = k;
+    var x4 = k;
+    var x5 = k;
+}
+function f52(obj, k, s, n) {
+    var x1 = obj[s];
+    var x2 = obj[n];
+    var x3 = obj[k];
+}
+function f53(obj, k, s, n) {
+    var x1 = obj[s];
+    var x2 = obj[n];
+    var x3 = obj[k];
+}
+function f54(obj, key) {
+    for (var s in obj[key]) {
+    }
+    var b = "foo" in obj[key];
+}
+function f55(obj, key) {
+    for (var s in obj[key]) {
+    }
+    var b = "foo" in obj[key];
+}
 // Repros from #12011
 var Base = (function () {
     function Base() {
@@ -454,6 +528,16 @@ declare class C {
     private z;
 }
 declare function f40(c: C): void;
+declare function f50<T>(k: keyof T, s: string, n: number): void;
+declare function f51<T, K extends keyof T>(k: K, s: string, n: number): void;
+declare function f52<T>(obj: {
+    [x: string]: boolean;
+}, k: keyof T, s: string, n: number): void;
+declare function f53<T, K extends keyof T>(obj: {
+    [x: string]: boolean;
+}, k: K, s: string, n: number): void;
+declare function f54<T>(obj: T, key: keyof T): void;
+declare function f55<T, K extends keyof T>(obj: T, key: K): void;
 declare class Base {
     get<K extends keyof this>(prop: K): this[K];
     set<K extends keyof this>(prop: K, value: this[K]): void;
diff --git a/tests/baselines/reference/keyofAndIndexedAccess.symbols b/tests/baselines/reference/keyofAndIndexedAccess.symbols
index a76cf32b8d2..0b10e368821 100644
--- a/tests/baselines/reference/keyofAndIndexedAccess.symbols
+++ b/tests/baselines/reference/keyofAndIndexedAccess.symbols
@@ -626,84 +626,242 @@ function f40(c: C) {
 >"z" : Symbol(C.z, Decl(keyofAndIndexedAccess.ts, 167, 24))
 }
 
+function f50<T>(k: keyof T, s: string, n: number) {
+>f50 : Symbol(f50, Decl(keyofAndIndexedAccess.ts, 180, 1))
+>T : Symbol(T, Decl(keyofAndIndexedAccess.ts, 182, 13))
+>k : Symbol(k, Decl(keyofAndIndexedAccess.ts, 182, 16))
+>T : Symbol(T, Decl(keyofAndIndexedAccess.ts, 182, 13))
+>s : Symbol(s, Decl(keyofAndIndexedAccess.ts, 182, 27))
+>n : Symbol(n, Decl(keyofAndIndexedAccess.ts, 182, 38))
+
+    const x1 = s as keyof T;
+>x1 : Symbol(x1, Decl(keyofAndIndexedAccess.ts, 183, 9))
+>s : Symbol(s, Decl(keyofAndIndexedAccess.ts, 182, 27))
+>T : Symbol(T, Decl(keyofAndIndexedAccess.ts, 182, 13))
+
+    const x2 = n as keyof T;
+>x2 : Symbol(x2, Decl(keyofAndIndexedAccess.ts, 184, 9))
+>n : Symbol(n, Decl(keyofAndIndexedAccess.ts, 182, 38))
+>T : Symbol(T, Decl(keyofAndIndexedAccess.ts, 182, 13))
+
+    const x3 = k as string;
+>x3 : Symbol(x3, Decl(keyofAndIndexedAccess.ts, 185, 9))
+>k : Symbol(k, Decl(keyofAndIndexedAccess.ts, 182, 16))
+
+    const x4 = k as number;
+>x4 : Symbol(x4, Decl(keyofAndIndexedAccess.ts, 186, 9))
+>k : Symbol(k, Decl(keyofAndIndexedAccess.ts, 182, 16))
+
+    const x5 = k as string | number;
+>x5 : Symbol(x5, Decl(keyofAndIndexedAccess.ts, 187, 9))
+>k : Symbol(k, Decl(keyofAndIndexedAccess.ts, 182, 16))
+}
+
+function f51<T, K extends keyof T>(k: K, s: string, n: number) {
+>f51 : Symbol(f51, Decl(keyofAndIndexedAccess.ts, 188, 1))
+>T : Symbol(T, Decl(keyofAndIndexedAccess.ts, 190, 13))
+>K : Symbol(K, Decl(keyofAndIndexedAccess.ts, 190, 15))
+>T : Symbol(T, Decl(keyofAndIndexedAccess.ts, 190, 13))
+>k : Symbol(k, Decl(keyofAndIndexedAccess.ts, 190, 35))
+>K : Symbol(K, Decl(keyofAndIndexedAccess.ts, 190, 15))
+>s : Symbol(s, Decl(keyofAndIndexedAccess.ts, 190, 40))
+>n : Symbol(n, Decl(keyofAndIndexedAccess.ts, 190, 51))
+
+    const x1 = s as keyof T;
+>x1 : Symbol(x1, Decl(keyofAndIndexedAccess.ts, 191, 9))
+>s : Symbol(s, Decl(keyofAndIndexedAccess.ts, 190, 40))
+>T : Symbol(T, Decl(keyofAndIndexedAccess.ts, 190, 13))
+
+    const x2 = n as keyof T;
+>x2 : Symbol(x2, Decl(keyofAndIndexedAccess.ts, 192, 9))
+>n : Symbol(n, Decl(keyofAndIndexedAccess.ts, 190, 51))
+>T : Symbol(T, Decl(keyofAndIndexedAccess.ts, 190, 13))
+
+    const x3 = k as string;
+>x3 : Symbol(x3, Decl(keyofAndIndexedAccess.ts, 193, 9))
+>k : Symbol(k, Decl(keyofAndIndexedAccess.ts, 190, 35))
+
+    const x4 = k as number;
+>x4 : Symbol(x4, Decl(keyofAndIndexedAccess.ts, 194, 9))
+>k : Symbol(k, Decl(keyofAndIndexedAccess.ts, 190, 35))
+
+    const x5 = k as string | number;
+>x5 : Symbol(x5, Decl(keyofAndIndexedAccess.ts, 195, 9))
+>k : Symbol(k, Decl(keyofAndIndexedAccess.ts, 190, 35))
+}
+
+function f52<T>(obj: { [x: string]: boolean }, k: keyof T, s: string, n: number) {
+>f52 : Symbol(f52, Decl(keyofAndIndexedAccess.ts, 196, 1))
+>T : Symbol(T, Decl(keyofAndIndexedAccess.ts, 198, 13))
+>obj : Symbol(obj, Decl(keyofAndIndexedAccess.ts, 198, 16))
+>x : Symbol(x, Decl(keyofAndIndexedAccess.ts, 198, 24))
+>k : Symbol(k, Decl(keyofAndIndexedAccess.ts, 198, 46))
+>T : Symbol(T, Decl(keyofAndIndexedAccess.ts, 198, 13))
+>s : Symbol(s, Decl(keyofAndIndexedAccess.ts, 198, 58))
+>n : Symbol(n, Decl(keyofAndIndexedAccess.ts, 198, 69))
+
+    const x1 = obj[s];
+>x1 : Symbol(x1, Decl(keyofAndIndexedAccess.ts, 199, 9))
+>obj : Symbol(obj, Decl(keyofAndIndexedAccess.ts, 198, 16))
+>s : Symbol(s, Decl(keyofAndIndexedAccess.ts, 198, 58))
+
+    const x2 = obj[n];
+>x2 : Symbol(x2, Decl(keyofAndIndexedAccess.ts, 200, 9))
+>obj : Symbol(obj, Decl(keyofAndIndexedAccess.ts, 198, 16))
+>n : Symbol(n, Decl(keyofAndIndexedAccess.ts, 198, 69))
+
+    const x3 = obj[k];
+>x3 : Symbol(x3, Decl(keyofAndIndexedAccess.ts, 201, 9))
+>obj : Symbol(obj, Decl(keyofAndIndexedAccess.ts, 198, 16))
+>k : Symbol(k, Decl(keyofAndIndexedAccess.ts, 198, 46))
+}
+
+function f53<T, K extends keyof T>(obj: { [x: string]: boolean }, k: K, s: string, n: number) {
+>f53 : Symbol(f53, Decl(keyofAndIndexedAccess.ts, 202, 1))
+>T : Symbol(T, Decl(keyofAndIndexedAccess.ts, 204, 13))
+>K : Symbol(K, Decl(keyofAndIndexedAccess.ts, 204, 15))
+>T : Symbol(T, Decl(keyofAndIndexedAccess.ts, 204, 13))
+>obj : Symbol(obj, Decl(keyofAndIndexedAccess.ts, 204, 35))
+>x : Symbol(x, Decl(keyofAndIndexedAccess.ts, 204, 43))
+>k : Symbol(k, Decl(keyofAndIndexedAccess.ts, 204, 65))
+>K : Symbol(K, Decl(keyofAndIndexedAccess.ts, 204, 15))
+>s : Symbol(s, Decl(keyofAndIndexedAccess.ts, 204, 71))
+>n : Symbol(n, Decl(keyofAndIndexedAccess.ts, 204, 82))
+
+    const x1 = obj[s];
+>x1 : Symbol(x1, Decl(keyofAndIndexedAccess.ts, 205, 9))
+>obj : Symbol(obj, Decl(keyofAndIndexedAccess.ts, 204, 35))
+>s : Symbol(s, Decl(keyofAndIndexedAccess.ts, 204, 71))
+
+    const x2 = obj[n];
+>x2 : Symbol(x2, Decl(keyofAndIndexedAccess.ts, 206, 9))
+>obj : Symbol(obj, Decl(keyofAndIndexedAccess.ts, 204, 35))
+>n : Symbol(n, Decl(keyofAndIndexedAccess.ts, 204, 82))
+
+    const x3 = obj[k];
+>x3 : Symbol(x3, Decl(keyofAndIndexedAccess.ts, 207, 9))
+>obj : Symbol(obj, Decl(keyofAndIndexedAccess.ts, 204, 35))
+>k : Symbol(k, Decl(keyofAndIndexedAccess.ts, 204, 65))
+}
+
+function f54<T>(obj: T, key: keyof T) {
+>f54 : Symbol(f54, Decl(keyofAndIndexedAccess.ts, 208, 1))
+>T : Symbol(T, Decl(keyofAndIndexedAccess.ts, 210, 13))
+>obj : Symbol(obj, Decl(keyofAndIndexedAccess.ts, 210, 16))
+>T : Symbol(T, Decl(keyofAndIndexedAccess.ts, 210, 13))
+>key : Symbol(key, Decl(keyofAndIndexedAccess.ts, 210, 23))
+>T : Symbol(T, Decl(keyofAndIndexedAccess.ts, 210, 13))
+
+    for (let s in obj[key]) {
+>s : Symbol(s, Decl(keyofAndIndexedAccess.ts, 211, 12))
+>obj : Symbol(obj, Decl(keyofAndIndexedAccess.ts, 210, 16))
+>key : Symbol(key, Decl(keyofAndIndexedAccess.ts, 210, 23))
+    }
+    const b = "foo" in obj[key];
+>b : Symbol(b, Decl(keyofAndIndexedAccess.ts, 213, 9))
+>obj : Symbol(obj, Decl(keyofAndIndexedAccess.ts, 210, 16))
+>key : Symbol(key, Decl(keyofAndIndexedAccess.ts, 210, 23))
+}
+
+function f55<T, K extends keyof T>(obj: T, key: K) {
+>f55 : Symbol(f55, Decl(keyofAndIndexedAccess.ts, 214, 1))
+>T : Symbol(T, Decl(keyofAndIndexedAccess.ts, 216, 13))
+>K : Symbol(K, Decl(keyofAndIndexedAccess.ts, 216, 15))
+>T : Symbol(T, Decl(keyofAndIndexedAccess.ts, 216, 13))
+>obj : Symbol(obj, Decl(keyofAndIndexedAccess.ts, 216, 35))
+>T : Symbol(T, Decl(keyofAndIndexedAccess.ts, 216, 13))
+>key : Symbol(key, Decl(keyofAndIndexedAccess.ts, 216, 42))
+>K : Symbol(K, Decl(keyofAndIndexedAccess.ts, 216, 15))
+
+    for (let s in obj[key]) {
+>s : Symbol(s, Decl(keyofAndIndexedAccess.ts, 217, 12))
+>obj : Symbol(obj, Decl(keyofAndIndexedAccess.ts, 216, 35))
+>key : Symbol(key, Decl(keyofAndIndexedAccess.ts, 216, 42))
+    }
+    const b = "foo" in obj[key];
+>b : Symbol(b, Decl(keyofAndIndexedAccess.ts, 219, 9))
+>obj : Symbol(obj, Decl(keyofAndIndexedAccess.ts, 216, 35))
+>key : Symbol(key, Decl(keyofAndIndexedAccess.ts, 216, 42))
+}
+
 // Repros from #12011
 
 class Base {
->Base : Symbol(Base, Decl(keyofAndIndexedAccess.ts, 180, 1))
+>Base : Symbol(Base, Decl(keyofAndIndexedAccess.ts, 220, 1))
 
     get<K extends keyof this>(prop: K) {
->get : Symbol(Base.get, Decl(keyofAndIndexedAccess.ts, 184, 12))
->K : Symbol(K, Decl(keyofAndIndexedAccess.ts, 185, 8))
->prop : Symbol(prop, Decl(keyofAndIndexedAccess.ts, 185, 30))
->K : Symbol(K, Decl(keyofAndIndexedAccess.ts, 185, 8))
+>get : Symbol(Base.get, Decl(keyofAndIndexedAccess.ts, 224, 12))
+>K : Symbol(K, Decl(keyofAndIndexedAccess.ts, 225, 8))
+>prop : Symbol(prop, Decl(keyofAndIndexedAccess.ts, 225, 30))
+>K : Symbol(K, Decl(keyofAndIndexedAccess.ts, 225, 8))
 
         return this[prop];
->this : Symbol(Base, Decl(keyofAndIndexedAccess.ts, 180, 1))
->prop : Symbol(prop, Decl(keyofAndIndexedAccess.ts, 185, 30))
+>this : Symbol(Base, Decl(keyofAndIndexedAccess.ts, 220, 1))
+>prop : Symbol(prop, Decl(keyofAndIndexedAccess.ts, 225, 30))
     }
     set<K extends keyof this>(prop: K, value: this[K]) {
->set : Symbol(Base.set, Decl(keyofAndIndexedAccess.ts, 187, 5))
->K : Symbol(K, Decl(keyofAndIndexedAccess.ts, 188, 8))
->prop : Symbol(prop, Decl(keyofAndIndexedAccess.ts, 188, 30))
->K : Symbol(K, Decl(keyofAndIndexedAccess.ts, 188, 8))
->value : Symbol(value, Decl(keyofAndIndexedAccess.ts, 188, 38))
->K : Symbol(K, Decl(keyofAndIndexedAccess.ts, 188, 8))
+>set : Symbol(Base.set, Decl(keyofAndIndexedAccess.ts, 227, 5))
+>K : Symbol(K, Decl(keyofAndIndexedAccess.ts, 228, 8))
+>prop : Symbol(prop, Decl(keyofAndIndexedAccess.ts, 228, 30))
+>K : Symbol(K, Decl(keyofAndIndexedAccess.ts, 228, 8))
+>value : Symbol(value, Decl(keyofAndIndexedAccess.ts, 228, 38))
+>K : Symbol(K, Decl(keyofAndIndexedAccess.ts, 228, 8))
 
         this[prop] = value;
->this : Symbol(Base, Decl(keyofAndIndexedAccess.ts, 180, 1))
->prop : Symbol(prop, Decl(keyofAndIndexedAccess.ts, 188, 30))
->value : Symbol(value, Decl(keyofAndIndexedAccess.ts, 188, 38))
+>this : Symbol(Base, Decl(keyofAndIndexedAccess.ts, 220, 1))
+>prop : Symbol(prop, Decl(keyofAndIndexedAccess.ts, 228, 30))
+>value : Symbol(value, Decl(keyofAndIndexedAccess.ts, 228, 38))
     }
 }
 
 class Person extends Base {
->Person : Symbol(Person, Decl(keyofAndIndexedAccess.ts, 191, 1))
->Base : Symbol(Base, Decl(keyofAndIndexedAccess.ts, 180, 1))
+>Person : Symbol(Person, Decl(keyofAndIndexedAccess.ts, 231, 1))
+>Base : Symbol(Base, Decl(keyofAndIndexedAccess.ts, 220, 1))
 
     parts: number;
->parts : Symbol(Person.parts, Decl(keyofAndIndexedAccess.ts, 193, 27))
+>parts : Symbol(Person.parts, Decl(keyofAndIndexedAccess.ts, 233, 27))
 
     constructor(parts: number) {
->parts : Symbol(parts, Decl(keyofAndIndexedAccess.ts, 195, 16))
+>parts : Symbol(parts, Decl(keyofAndIndexedAccess.ts, 235, 16))
 
         super();
->super : Symbol(Base, Decl(keyofAndIndexedAccess.ts, 180, 1))
+>super : Symbol(Base, Decl(keyofAndIndexedAccess.ts, 220, 1))
 
         this.set("parts", parts);
->this.set : Symbol(Base.set, Decl(keyofAndIndexedAccess.ts, 187, 5))
->this : Symbol(Person, Decl(keyofAndIndexedAccess.ts, 191, 1))
->set : Symbol(Base.set, Decl(keyofAndIndexedAccess.ts, 187, 5))
->parts : Symbol(parts, Decl(keyofAndIndexedAccess.ts, 195, 16))
+>this.set : Symbol(Base.set, Decl(keyofAndIndexedAccess.ts, 227, 5))
+>this : Symbol(Person, Decl(keyofAndIndexedAccess.ts, 231, 1))
+>set : Symbol(Base.set, Decl(keyofAndIndexedAccess.ts, 227, 5))
+>parts : Symbol(parts, Decl(keyofAndIndexedAccess.ts, 235, 16))
     }
     getParts() {
->getParts : Symbol(Person.getParts, Decl(keyofAndIndexedAccess.ts, 198, 5))
+>getParts : Symbol(Person.getParts, Decl(keyofAndIndexedAccess.ts, 238, 5))
 
         return this.get("parts")
->this.get : Symbol(Base.get, Decl(keyofAndIndexedAccess.ts, 184, 12))
->this : Symbol(Person, Decl(keyofAndIndexedAccess.ts, 191, 1))
->get : Symbol(Base.get, Decl(keyofAndIndexedAccess.ts, 184, 12))
+>this.get : Symbol(Base.get, Decl(keyofAndIndexedAccess.ts, 224, 12))
+>this : Symbol(Person, Decl(keyofAndIndexedAccess.ts, 231, 1))
+>get : Symbol(Base.get, Decl(keyofAndIndexedAccess.ts, 224, 12))
     }
 }
 
 class OtherPerson {
->OtherPerson : Symbol(OtherPerson, Decl(keyofAndIndexedAccess.ts, 202, 1))
+>OtherPerson : Symbol(OtherPerson, Decl(keyofAndIndexedAccess.ts, 242, 1))
 
     parts: number;
->parts : Symbol(OtherPerson.parts, Decl(keyofAndIndexedAccess.ts, 204, 19))
+>parts : Symbol(OtherPerson.parts, Decl(keyofAndIndexedAccess.ts, 244, 19))
 
     constructor(parts: number) {
->parts : Symbol(parts, Decl(keyofAndIndexedAccess.ts, 206, 16))
+>parts : Symbol(parts, Decl(keyofAndIndexedAccess.ts, 246, 16))
 
         setProperty(this, "parts", parts);
 >setProperty : Symbol(setProperty, Decl(keyofAndIndexedAccess.ts, 79, 1))
->this : Symbol(OtherPerson, Decl(keyofAndIndexedAccess.ts, 202, 1))
->parts : Symbol(parts, Decl(keyofAndIndexedAccess.ts, 206, 16))
+>this : Symbol(OtherPerson, Decl(keyofAndIndexedAccess.ts, 242, 1))
+>parts : Symbol(parts, Decl(keyofAndIndexedAccess.ts, 246, 16))
     }
     getParts() {
->getParts : Symbol(OtherPerson.getParts, Decl(keyofAndIndexedAccess.ts, 208, 5))
+>getParts : Symbol(OtherPerson.getParts, Decl(keyofAndIndexedAccess.ts, 248, 5))
 
         return getProperty(this, "parts")
 >getProperty : Symbol(getProperty, Decl(keyofAndIndexedAccess.ts, 75, 26))
->this : Symbol(OtherPerson, Decl(keyofAndIndexedAccess.ts, 202, 1))
+>this : Symbol(OtherPerson, Decl(keyofAndIndexedAccess.ts, 242, 1))
     }
 }
diff --git a/tests/baselines/reference/keyofAndIndexedAccess.types b/tests/baselines/reference/keyofAndIndexedAccess.types
index c252ea4e2bd..020ac114126 100644
--- a/tests/baselines/reference/keyofAndIndexedAccess.types
+++ b/tests/baselines/reference/keyofAndIndexedAccess.types
@@ -737,6 +737,188 @@ function f40(c: C) {
 >"z" : "z"
 }
 
+function f50<T>(k: keyof T, s: string, n: number) {
+>f50 : <T>(k: keyof T, s: string, n: number) => void
+>T : T
+>k : keyof T
+>T : T
+>s : string
+>n : number
+
+    const x1 = s as keyof T;
+>x1 : keyof T
+>s as keyof T : keyof T
+>s : string
+>T : T
+
+    const x2 = n as keyof T;
+>x2 : keyof T
+>n as keyof T : keyof T
+>n : number
+>T : T
+
+    const x3 = k as string;
+>x3 : string
+>k as string : string
+>k : keyof T
+
+    const x4 = k as number;
+>x4 : number
+>k as number : number
+>k : keyof T
+
+    const x5 = k as string | number;
+>x5 : string | number
+>k as string | number : string | number
+>k : keyof T
+}
+
+function f51<T, K extends keyof T>(k: K, s: string, n: number) {
+>f51 : <T, K extends keyof T>(k: K, s: string, n: number) => void
+>T : T
+>K : K
+>T : T
+>k : K
+>K : K
+>s : string
+>n : number
+
+    const x1 = s as keyof T;
+>x1 : keyof T
+>s as keyof T : keyof T
+>s : string
+>T : T
+
+    const x2 = n as keyof T;
+>x2 : keyof T
+>n as keyof T : keyof T
+>n : number
+>T : T
+
+    const x3 = k as string;
+>x3 : string
+>k as string : string
+>k : K
+
+    const x4 = k as number;
+>x4 : number
+>k as number : number
+>k : K
+
+    const x5 = k as string | number;
+>x5 : string | number
+>k as string | number : string | number
+>k : K
+}
+
+function f52<T>(obj: { [x: string]: boolean }, k: keyof T, s: string, n: number) {
+>f52 : <T>(obj: { [x: string]: boolean; }, k: keyof T, s: string, n: number) => void
+>T : T
+>obj : { [x: string]: boolean; }
+>x : string
+>k : keyof T
+>T : T
+>s : string
+>n : number
+
+    const x1 = obj[s];
+>x1 : boolean
+>obj[s] : boolean
+>obj : { [x: string]: boolean; }
+>s : string
+
+    const x2 = obj[n];
+>x2 : boolean
+>obj[n] : boolean
+>obj : { [x: string]: boolean; }
+>n : number
+
+    const x3 = obj[k];
+>x3 : boolean
+>obj[k] : boolean
+>obj : { [x: string]: boolean; }
+>k : keyof T
+}
+
+function f53<T, K extends keyof T>(obj: { [x: string]: boolean }, k: K, s: string, n: number) {
+>f53 : <T, K extends keyof T>(obj: { [x: string]: boolean; }, k: K, s: string, n: number) => void
+>T : T
+>K : K
+>T : T
+>obj : { [x: string]: boolean; }
+>x : string
+>k : K
+>K : K
+>s : string
+>n : number
+
+    const x1 = obj[s];
+>x1 : boolean
+>obj[s] : boolean
+>obj : { [x: string]: boolean; }
+>s : string
+
+    const x2 = obj[n];
+>x2 : boolean
+>obj[n] : boolean
+>obj : { [x: string]: boolean; }
+>n : number
+
+    const x3 = obj[k];
+>x3 : { [x: string]: boolean; }[K]
+>obj[k] : { [x: string]: boolean; }[K]
+>obj : { [x: string]: boolean; }
+>k : K
+}
+
+function f54<T>(obj: T, key: keyof T) {
+>f54 : <T>(obj: T, key: keyof T) => void
+>T : T
+>obj : T
+>T : T
+>key : keyof T
+>T : T
+
+    for (let s in obj[key]) {
+>s : string
+>obj[key] : T[keyof T]
+>obj : T
+>key : keyof T
+    }
+    const b = "foo" in obj[key];
+>b : boolean
+>"foo" in obj[key] : boolean
+>"foo" : "foo"
+>obj[key] : T[keyof T]
+>obj : T
+>key : keyof T
+}
+
+function f55<T, K extends keyof T>(obj: T, key: K) {
+>f55 : <T, K extends keyof T>(obj: T, key: K) => void
+>T : T
+>K : K
+>T : T
+>obj : T
+>T : T
+>key : K
+>K : K
+
+    for (let s in obj[key]) {
+>s : string
+>obj[key] : T[K]
+>obj : T
+>key : K
+    }
+    const b = "foo" in obj[key];
+>b : boolean
+>"foo" in obj[key] : boolean
+>"foo" : "foo"
+>obj[key] : T[K]
+>obj : T
+>key : K
+}
+
 // Repros from #12011
 
 class Base {