Add tests

Author: JsonFreeman

tests/baselines/reference/typeArgumentInferenceApparentType1.js

@@ -0,0 +1,12 @@
+//// [typeArgumentInferenceApparentType1.ts]
+function method<T>(iterable: Iterable<T>): T {
+    return;
+}
+
+var res: string = method("test");
+
+//// [typeArgumentInferenceApparentType1.js]
+function method(iterable) {
+    return;
+}
+var res = method("test");

tests/baselines/reference/typeArgumentInferenceApparentType1.symbols

@@ -0,0 +1,16 @@
+=== tests/cases/compiler/typeArgumentInferenceApparentType1.ts ===
+function method<T>(iterable: Iterable<T>): T {
+>method : Symbol(method, Decl(typeArgumentInferenceApparentType1.ts, 0, 0))
+>T : Symbol(T, Decl(typeArgumentInferenceApparentType1.ts, 0, 16))
+>iterable : Symbol(iterable, Decl(typeArgumentInferenceApparentType1.ts, 0, 19))
+>Iterable : Symbol(Iterable, Decl(lib.d.ts, 1681, 1))
+>T : Symbol(T, Decl(typeArgumentInferenceApparentType1.ts, 0, 16))
+>T : Symbol(T, Decl(typeArgumentInferenceApparentType1.ts, 0, 16))
+
+    return;
+}
+
+var res: string = method("test");
+>res : Symbol(res, Decl(typeArgumentInferenceApparentType1.ts, 4, 3))
+>method : Symbol(method, Decl(typeArgumentInferenceApparentType1.ts, 0, 0))
+

tests/baselines/reference/typeArgumentInferenceApparentType1.types

@@ -0,0 +1,18 @@
+=== tests/cases/compiler/typeArgumentInferenceApparentType1.ts ===
+function method<T>(iterable: Iterable<T>): T {
+>method : <T>(iterable: Iterable<T>) => T
+>T : T
+>iterable : Iterable<T>
+>Iterable : Iterable<T>
+>T : T
+>T : T
+
+    return;
+}
+
+var res: string = method("test");
+>res : string
+>method("test") : string
+>method : <T>(iterable: Iterable<T>) => T
+>"test" : string
+

tests/baselines/reference/typeArgumentInferenceApparentType2.js

@@ -0,0 +1,17 @@
+//// [typeArgumentInferenceApparentType2.ts]
+function method<T>(iterable: Iterable<T>): T {
+    function inner<U extends Iterable<T>>() {
+        var u: U;
+        var res: T = method(u);
+    }
+    return;
+}
+
+//// [typeArgumentInferenceApparentType2.js]
+function method(iterable) {
+    function inner() {
+        var u;
+        var res = method(u);
+    }
+    return;
+}

tests/baselines/reference/typeArgumentInferenceApparentType2.symbols

@@ -0,0 +1,27 @@
+=== tests/cases/compiler/typeArgumentInferenceApparentType2.ts ===
+function method<T>(iterable: Iterable<T>): T {
+>method : Symbol(method, Decl(typeArgumentInferenceApparentType2.ts, 0, 0))
+>T : Symbol(T, Decl(typeArgumentInferenceApparentType2.ts, 0, 16))
+>iterable : Symbol(iterable, Decl(typeArgumentInferenceApparentType2.ts, 0, 19))
+>Iterable : Symbol(Iterable, Decl(lib.d.ts, 1681, 1))
+>T : Symbol(T, Decl(typeArgumentInferenceApparentType2.ts, 0, 16))
+>T : Symbol(T, Decl(typeArgumentInferenceApparentType2.ts, 0, 16))
+
+    function inner<U extends Iterable<T>>() {
+>inner : Symbol(inner, Decl(typeArgumentInferenceApparentType2.ts, 0, 46))
+>U : Symbol(U, Decl(typeArgumentInferenceApparentType2.ts, 1, 19))
+>Iterable : Symbol(Iterable, Decl(lib.d.ts, 1681, 1))
+>T : Symbol(T, Decl(typeArgumentInferenceApparentType2.ts, 0, 16))
+
+        var u: U;
+>u : Symbol(u, Decl(typeArgumentInferenceApparentType2.ts, 2, 11))
+>U : Symbol(U, Decl(typeArgumentInferenceApparentType2.ts, 1, 19))
+
+        var res: T = method(u);
+>res : Symbol(res, Decl(typeArgumentInferenceApparentType2.ts, 3, 11))
+>T : Symbol(T, Decl(typeArgumentInferenceApparentType2.ts, 0, 16))
+>method : Symbol(method, Decl(typeArgumentInferenceApparentType2.ts, 0, 0))
+>u : Symbol(u, Decl(typeArgumentInferenceApparentType2.ts, 2, 11))
+    }
+    return;
+}

tests/baselines/reference/typeArgumentInferenceApparentType2.types

@@ -0,0 +1,28 @@
+=== tests/cases/compiler/typeArgumentInferenceApparentType2.ts ===
+function method<T>(iterable: Iterable<T>): T {
+>method : <T>(iterable: Iterable<T>) => T
+>T : T
+>iterable : Iterable<T>
+>Iterable : Iterable<T>
+>T : T
+>T : T
+
+    function inner<U extends Iterable<T>>() {
+>inner : <U extends Iterable<T>>() => void
+>U : U
+>Iterable : Iterable<T>
+>T : T
+
+        var u: U;
+>u : U
+>U : U
+
+        var res: T = method(u);
+>res : T
+>T : T
+>method(u) : T
+>method : <T>(iterable: Iterable<T>) => T
+>u : U
+    }
+    return;
+}

tests/cases/compiler/typeArgumentInferenceApparentType1.ts

@@ -0,0 +1,6 @@
+//@target: ES6
+function method<T>(iterable: Iterable<T>): T {
+    return;
+}
+
+var res: string = method("test");

tests/cases/compiler/typeArgumentInferenceApparentType2.ts

@@ -0,0 +1,8 @@
+//@target: ES6
+function method<T>(iterable: Iterable<T>): T {
+    function inner<U extends Iterable<T>>() {
+        var u: U;
+        var res: T = method(u);
+    }
+    return;
+}