From baf31ec52e500bd646090f62fcb4b6112bb09645 Mon Sep 17 00:00:00 2001
From: Nathan Shively-Sanders <293473+sandersn@users.noreply.github.com>
Date: Thu, 11 Jan 2018 16:30:05 -0800
Subject: [PATCH] Test Diff and Omit

---
 .../indexedAccessRetainsIndexSignature.js     | 10 ++++++
 ...indexedAccessRetainsIndexSignature.symbols | 33 +++++++++++++++++++
 .../indexedAccessRetainsIndexSignature.types  | 33 +++++++++++++++++++
 .../indexedAccessRetainsIndexSignature.ts     |  6 ++++
 4 files changed, 82 insertions(+)
 create mode 100644 tests/baselines/reference/indexedAccessRetainsIndexSignature.js
 create mode 100644 tests/baselines/reference/indexedAccessRetainsIndexSignature.symbols
 create mode 100644 tests/baselines/reference/indexedAccessRetainsIndexSignature.types
 create mode 100644 tests/cases/compiler/indexedAccessRetainsIndexSignature.ts

diff --git a/tests/baselines/reference/indexedAccessRetainsIndexSignature.js b/tests/baselines/reference/indexedAccessRetainsIndexSignature.js
new file mode 100644
index 00000000000..6c33317f156
--- /dev/null
+++ b/tests/baselines/reference/indexedAccessRetainsIndexSignature.js
@@ -0,0 +1,10 @@
+//// [indexedAccessRetainsIndexSignature.ts]
+type Diff<T extends string, U extends string> =
+    ({ [P in T]: P } & { [P in U]: never } & { [x: string]: never })[T]
+type Omit<U, K extends keyof U> = Pick<U, Diff<keyof U, K>>
+
+
+type O = Omit<{ a: number, b: string }, 'a'>
+
+
+//// [indexedAccessRetainsIndexSignature.js]
diff --git a/tests/baselines/reference/indexedAccessRetainsIndexSignature.symbols b/tests/baselines/reference/indexedAccessRetainsIndexSignature.symbols
new file mode 100644
index 00000000000..908d74c9452
--- /dev/null
+++ b/tests/baselines/reference/indexedAccessRetainsIndexSignature.symbols
@@ -0,0 +1,33 @@
+=== tests/cases/compiler/indexedAccessRetainsIndexSignature.ts ===
+type Diff<T extends string, U extends string> =
+>Diff : Symbol(Diff, Decl(indexedAccessRetainsIndexSignature.ts, 0, 0))
+>T : Symbol(T, Decl(indexedAccessRetainsIndexSignature.ts, 0, 10))
+>U : Symbol(U, Decl(indexedAccessRetainsIndexSignature.ts, 0, 27))
+
+    ({ [P in T]: P } & { [P in U]: never } & { [x: string]: never })[T]
+>P : Symbol(P, Decl(indexedAccessRetainsIndexSignature.ts, 1, 8))
+>T : Symbol(T, Decl(indexedAccessRetainsIndexSignature.ts, 0, 10))
+>P : Symbol(P, Decl(indexedAccessRetainsIndexSignature.ts, 1, 8))
+>P : Symbol(P, Decl(indexedAccessRetainsIndexSignature.ts, 1, 26))
+>U : Symbol(U, Decl(indexedAccessRetainsIndexSignature.ts, 0, 27))
+>x : Symbol(x, Decl(indexedAccessRetainsIndexSignature.ts, 1, 48))
+>T : Symbol(T, Decl(indexedAccessRetainsIndexSignature.ts, 0, 10))
+
+type Omit<U, K extends keyof U> = Pick<U, Diff<keyof U, K>>
+>Omit : Symbol(Omit, Decl(indexedAccessRetainsIndexSignature.ts, 1, 71))
+>U : Symbol(U, Decl(indexedAccessRetainsIndexSignature.ts, 2, 10))
+>K : Symbol(K, Decl(indexedAccessRetainsIndexSignature.ts, 2, 12))
+>U : Symbol(U, Decl(indexedAccessRetainsIndexSignature.ts, 2, 10))
+>Pick : Symbol(Pick, Decl(lib.d.ts, --, --))
+>U : Symbol(U, Decl(indexedAccessRetainsIndexSignature.ts, 2, 10))
+>Diff : Symbol(Diff, Decl(indexedAccessRetainsIndexSignature.ts, 0, 0))
+>U : Symbol(U, Decl(indexedAccessRetainsIndexSignature.ts, 2, 10))
+>K : Symbol(K, Decl(indexedAccessRetainsIndexSignature.ts, 2, 12))
+
+
+type O = Omit<{ a: number, b: string }, 'a'>
+>O : Symbol(O, Decl(indexedAccessRetainsIndexSignature.ts, 2, 59))
+>Omit : Symbol(Omit, Decl(indexedAccessRetainsIndexSignature.ts, 1, 71))
+>a : Symbol(a, Decl(indexedAccessRetainsIndexSignature.ts, 5, 15))
+>b : Symbol(b, Decl(indexedAccessRetainsIndexSignature.ts, 5, 26))
+
diff --git a/tests/baselines/reference/indexedAccessRetainsIndexSignature.types b/tests/baselines/reference/indexedAccessRetainsIndexSignature.types
new file mode 100644
index 00000000000..8ef6cb62559
--- /dev/null
+++ b/tests/baselines/reference/indexedAccessRetainsIndexSignature.types
@@ -0,0 +1,33 @@
+=== tests/cases/compiler/indexedAccessRetainsIndexSignature.ts ===
+type Diff<T extends string, U extends string> =
+>Diff : ({ [P in T]: P; } & { [P in U]: never; } & { [x: string]: never; })[T]
+>T : T
+>U : U
+
+    ({ [P in T]: P } & { [P in U]: never } & { [x: string]: never })[T]
+>P : P
+>T : T
+>P : P
+>P : P
+>U : U
+>x : string
+>T : T
+
+type Omit<U, K extends keyof U> = Pick<U, Diff<keyof U, K>>
+>Omit : Pick<U, ({ [P in T]: P; } & { [P in U]: never; } & { [x: string]: never; })[keyof U]>
+>U : U
+>K : K
+>U : U
+>Pick : Pick<T, K>
+>U : U
+>Diff : ({ [P in T]: P; } & { [P in U]: never; } & { [x: string]: never; })[T]
+>U : U
+>K : K
+
+
+type O = Omit<{ a: number, b: string }, 'a'>
+>O : Pick<{ a: number; b: string; }, "b">
+>Omit : Pick<U, ({ [P in T]: P; } & { [P in U]: never; } & { [x: string]: never; })[keyof U]>
+>a : number
+>b : string
+
diff --git a/tests/cases/compiler/indexedAccessRetainsIndexSignature.ts b/tests/cases/compiler/indexedAccessRetainsIndexSignature.ts
new file mode 100644
index 00000000000..ff38b2d9090
--- /dev/null
+++ b/tests/cases/compiler/indexedAccessRetainsIndexSignature.ts
@@ -0,0 +1,6 @@
+type Diff<T extends string, U extends string> =
+    ({ [P in T]: P } & { [P in U]: never } & { [x: string]: never })[T]
+type Omit<U, K extends keyof U> = Pick<U, Diff<keyof U, K>>
+
+
+type O = Omit<{ a: number, b: string }, 'a'>