Add tests

tests/cases/compiler/declarationEmitInferedTypeAlias1.ts

@@ -0,0 +1,13 @@
+// @declaration: true
+// @skipDefaultLibCheck: true
+
+// @Filename: 0.ts
+{
+    type Data = string | boolean;
+    let obj: Data = true;
+}
+export { }
+
+// @Filename: 1.ts
+let v = "str" || true;
+export { v }

tests/cases/compiler/declarationEmitInferedTypeAlias2.ts

@@ -0,0 +1,16 @@
+// @declaration: true
+// @skipDefaultLibCheck: true
+
+// @Filename: 0.ts
+{
+    type Data = string | boolean;
+    let obj: Data = true;
+}
+export { }
+
+// @Filename: 1.ts
+let v = "str" || true;
+function bar () {
+    return v;
+}
+export { v, bar }

tests/cases/compiler/declarationEmitInferedTypeAlias3.ts

@@ -0,0 +1,13 @@
+// @declaration: true
+// @skipDefaultLibCheck: true
+
+// @Filename: 0.ts
+{
+    type Data = string | boolean;
+    let obj: Data = true;
+}
+export { }
+
+// @Filename: 1.ts
+var x = "hi" || 5;
+export default x;

tests/cases/compiler/declarationEmitInferedTypeAlias4.ts

@@ -0,0 +1,7 @@
+// @declaration: true
+
+function f<A>() {
+    type Foo<T> = T | { x: Foo<T> };
+    var x: Foo<A[]>;
+    return x;
+}

tests/cases/compiler/declarationEmitInferedTypeAlias5.ts

@@ -0,0 +1,12 @@
+// @declaration: true
+// @skipDefaultLibCheck: true
+
+// @Filename: 0.ts
+export type Data = string | boolean;
+let obj: Data = true;
+
+// @Filename: 1.ts
+import * as Z from "./0"
+//let v2: Z.Data;
+let v = "str" || true;
+export { v }

tests/cases/compiler/declarationEmitInferedTypeAlias6.ts

@@ -0,0 +1,13 @@
+// @declaration: true
+// @skipDefaultLibCheck: true
+
+// @Filename: 0.ts
+{
+    type Data = string | boolean;
+    let obj: Data = true;
+}
+export { }
+
+// @Filename: 1.ts
+let v = "str" || true;
+export { v }

tests/cases/compiler/declarationEmitInferedTypeAlias7.ts

@@ -0,0 +1,10 @@
+// @declaration: true
+// @skipDefaultLibCheck: true
+
+// @Filename: 0.ts
+export type Data = string | boolean;
+let obj: Data = true;
+
+// @Filename: 1.ts
+let v = "str" || true;
+export { v }

tests/cases/compiler/declarationEmitInferedTypeAlias8.ts

@@ -0,0 +1,8 @@
+// @declaration: true
+
+type Foo<T> = T | { x: Foo<T> };
+var x: Foo<number[]>;
+
+function returnSomeGlobalValue() {
+    return x;
+}

tests/cases/compiler/declarationEmitInferedTypeAlias9.ts

@@ -0,0 +1,8 @@
+// @declaration: true
+
+type Foo<T> = T | { x: Foo<T> };
+var x: Foo<number[]>;
+
+export function returnSomeGlobalValue() {
+    return x;
+}