From 8e1cce4b8f094b801ba519e29f63ace987df0b05 Mon Sep 17 00:00:00 2001
From: Wesley Wigham <wwigham@gmail.com>
Date: Mon, 24 Sep 2018 17:52:52 -0700
Subject: [PATCH] Add regression test for #25485 as it is already fixed
 (#27320)

---
 ...edAssignableToGenericMappedIntersection.js | 16 +++++++++++
 ...ignableToGenericMappedIntersection.symbols | 27 +++++++++++++++++++
 ...ssignableToGenericMappedIntersection.types | 22 +++++++++++++++
 ...edAssignableToGenericMappedIntersection.ts |  7 +++++
 4 files changed, 72 insertions(+)
 create mode 100644 tests/baselines/reference/undefinedAssignableToGenericMappedIntersection.js
 create mode 100644 tests/baselines/reference/undefinedAssignableToGenericMappedIntersection.symbols
 create mode 100644 tests/baselines/reference/undefinedAssignableToGenericMappedIntersection.types
 create mode 100644 tests/cases/compiler/undefinedAssignableToGenericMappedIntersection.ts

diff --git a/tests/baselines/reference/undefinedAssignableToGenericMappedIntersection.js b/tests/baselines/reference/undefinedAssignableToGenericMappedIntersection.js
new file mode 100644
index 00000000000..468344c3e9c
--- /dev/null
+++ b/tests/baselines/reference/undefinedAssignableToGenericMappedIntersection.js
@@ -0,0 +1,16 @@
+//// [undefinedAssignableToGenericMappedIntersection.ts]
+type Errors<T> = { [P in keyof T]: string | undefined } & {all: string | undefined};
+function foo<T>() {
+    let obj!: Errors<T>
+    let x!: keyof T;
+    obj[x] = undefined;
+}
+
+
+//// [undefinedAssignableToGenericMappedIntersection.js]
+"use strict";
+function foo() {
+    var obj;
+    var x;
+    obj[x] = undefined;
+}
diff --git a/tests/baselines/reference/undefinedAssignableToGenericMappedIntersection.symbols b/tests/baselines/reference/undefinedAssignableToGenericMappedIntersection.symbols
new file mode 100644
index 00000000000..613b3bcc538
--- /dev/null
+++ b/tests/baselines/reference/undefinedAssignableToGenericMappedIntersection.symbols
@@ -0,0 +1,27 @@
+=== tests/cases/compiler/undefinedAssignableToGenericMappedIntersection.ts ===
+type Errors<T> = { [P in keyof T]: string | undefined } & {all: string | undefined};
+>Errors : Symbol(Errors, Decl(undefinedAssignableToGenericMappedIntersection.ts, 0, 0))
+>T : Symbol(T, Decl(undefinedAssignableToGenericMappedIntersection.ts, 0, 12))
+>P : Symbol(P, Decl(undefinedAssignableToGenericMappedIntersection.ts, 0, 20))
+>T : Symbol(T, Decl(undefinedAssignableToGenericMappedIntersection.ts, 0, 12))
+>all : Symbol(all, Decl(undefinedAssignableToGenericMappedIntersection.ts, 0, 59))
+
+function foo<T>() {
+>foo : Symbol(foo, Decl(undefinedAssignableToGenericMappedIntersection.ts, 0, 84))
+>T : Symbol(T, Decl(undefinedAssignableToGenericMappedIntersection.ts, 1, 13))
+
+    let obj!: Errors<T>
+>obj : Symbol(obj, Decl(undefinedAssignableToGenericMappedIntersection.ts, 2, 7))
+>Errors : Symbol(Errors, Decl(undefinedAssignableToGenericMappedIntersection.ts, 0, 0))
+>T : Symbol(T, Decl(undefinedAssignableToGenericMappedIntersection.ts, 1, 13))
+
+    let x!: keyof T;
+>x : Symbol(x, Decl(undefinedAssignableToGenericMappedIntersection.ts, 3, 7))
+>T : Symbol(T, Decl(undefinedAssignableToGenericMappedIntersection.ts, 1, 13))
+
+    obj[x] = undefined;
+>obj : Symbol(obj, Decl(undefinedAssignableToGenericMappedIntersection.ts, 2, 7))
+>x : Symbol(x, Decl(undefinedAssignableToGenericMappedIntersection.ts, 3, 7))
+>undefined : Symbol(undefined)
+}
+
diff --git a/tests/baselines/reference/undefinedAssignableToGenericMappedIntersection.types b/tests/baselines/reference/undefinedAssignableToGenericMappedIntersection.types
new file mode 100644
index 00000000000..1bf4aae0198
--- /dev/null
+++ b/tests/baselines/reference/undefinedAssignableToGenericMappedIntersection.types
@@ -0,0 +1,22 @@
+=== tests/cases/compiler/undefinedAssignableToGenericMappedIntersection.ts ===
+type Errors<T> = { [P in keyof T]: string | undefined } & {all: string | undefined};
+>Errors : Errors<T>
+>all : string | undefined
+
+function foo<T>() {
+>foo : <T>() => void
+
+    let obj!: Errors<T>
+>obj : Errors<T>
+
+    let x!: keyof T;
+>x : keyof T
+
+    obj[x] = undefined;
+>obj[x] = undefined : undefined
+>obj[x] : Errors<T>[keyof T]
+>obj : Errors<T>
+>x : keyof T
+>undefined : undefined
+}
+
diff --git a/tests/cases/compiler/undefinedAssignableToGenericMappedIntersection.ts b/tests/cases/compiler/undefinedAssignableToGenericMappedIntersection.ts
new file mode 100644
index 00000000000..2b089164676
--- /dev/null
+++ b/tests/cases/compiler/undefinedAssignableToGenericMappedIntersection.ts
@@ -0,0 +1,7 @@
+// @strict: true
+type Errors<T> = { [P in keyof T]: string | undefined } & {all: string | undefined};
+function foo<T>() {
+    let obj!: Errors<T>
+    let x!: keyof T;
+    obj[x] = undefined;
+}