Test:XMLHttpRequest inference to PartialDeep<T>

sandersn · sandersn · commit 6b024f64955b · 2017-12-14T13:35:32.000-08:00
Compilation didn't finish before! Now it does.
diff --git a/tests/baselines/reference/mappedTypeRecursiveInference.js b/tests/baselines/reference/mappedTypeRecursiveInference.js
@@ -4,7 +4,12 @@ declare let a: A;
 type Deep<T> = { [K in keyof T]: Deep<T[K]> }
 declare function foo<T>(deep: Deep<T>): T;
 const out = foo(a);
+
+let xhr: XMLHttpRequest;
+const out2 = foo(xhr);
 
 
 //// [mappedTypeRecursiveInference.js]
 var out = foo(a);
+var xhr;
+var out2 = foo(xhr);
diff --git a/tests/baselines/reference/mappedTypeRecursiveInference.symbols b/tests/baselines/reference/mappedTypeRecursiveInference.symbols
@@ -30,3 +30,12 @@ const out = foo(a);
 >foo : Symbol(foo, Decl(mappedTypeRecursiveInference.ts, 2, 45))
 >a : Symbol(a, Decl(mappedTypeRecursiveInference.ts, 1, 11))
 
+let xhr: XMLHttpRequest;
+>xhr : Symbol(xhr, Decl(mappedTypeRecursiveInference.ts, 6, 3))
+>XMLHttpRequest : Symbol(XMLHttpRequest, Decl(lib.dom.d.ts, --, --), Decl(lib.dom.d.ts, --, --))
+
+const out2 = foo(xhr);
+>out2 : Symbol(out2, Decl(mappedTypeRecursiveInference.ts, 7, 5))
+>foo : Symbol(foo, Decl(mappedTypeRecursiveInference.ts, 2, 45))
+>xhr : Symbol(xhr, Decl(mappedTypeRecursiveInference.ts, 6, 3))
+
diff --git a/tests/baselines/reference/mappedTypeRecursiveInference.types b/tests/baselines/reference/mappedTypeRecursiveInference.types
diff --git a/tests/cases/compiler/mappedTypeRecursiveInference.ts b/tests/cases/compiler/mappedTypeRecursiveInference.ts
@@ -1,5 +1,9 @@
+// @lib: es6, dom
 interface A { a: A }
 declare let a: A;
 type Deep<T> = { [K in keyof T]: Deep<T[K]> }
 declare function foo<T>(deep: Deep<T>): T;
 const out = foo(a);
+
+let xhr: XMLHttpRequest;
+const out2 = foo(xhr);
