From 7c45c7ba9f211e382da31793f9c2e7ea4e5a43fa Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <andersh@microsoft.com>
Date: Tue, 22 Mar 2016 10:50:06 -0700
Subject: [PATCH] Fixing tests

---
 .../stringLiteralTypesInUnionTypes01.js       |  8 ++--
 .../stringLiteralTypesInUnionTypes01.symbols  |  6 ++-
 .../stringLiteralTypesInUnionTypes01.types    |  8 ++--
 .../stringLiteralTypesInUnionTypes02.js       |  8 ++--
 .../stringLiteralTypesInUnionTypes02.symbols  |  6 ++-
 .../stringLiteralTypesInUnionTypes02.types    | 46 +++++++++----------
 .../stringLiteralTypesInUnionTypes03.js       |  4 +-
 .../stringLiteralTypesInUnionTypes03.symbols  |  3 +-
 .../stringLiteralTypesInUnionTypes03.types    |  4 +-
 .../stringLiteralTypesInUnionTypes04.js       |  8 ++--
 .../stringLiteralTypesInUnionTypes04.symbols  |  6 ++-
 .../stringLiteralTypesInUnionTypes04.types    |  8 ++--
 .../stringLiteralTypesTypePredicates01.js     |  4 +-
 ...stringLiteralTypesTypePredicates01.symbols |  3 +-
 .../stringLiteralTypesTypePredicates01.types  |  4 +-
 .../stringLiteralTypesInUnionTypes01.ts       |  4 +-
 .../stringLiteralTypesInUnionTypes02.ts       |  4 +-
 .../stringLiteralTypesInUnionTypes03.ts       |  2 +-
 .../stringLiteralTypesInUnionTypes04.ts       |  4 +-
 .../stringLiteralTypesTypePredicates01.ts     |  2 +-
 20 files changed, 75 insertions(+), 67 deletions(-)

diff --git a/tests/baselines/reference/stringLiteralTypesInUnionTypes01.js b/tests/baselines/reference/stringLiteralTypesInUnionTypes01.js
index d970310d68e..bdf06d393aa 100644
--- a/tests/baselines/reference/stringLiteralTypesInUnionTypes01.js
+++ b/tests/baselines/reference/stringLiteralTypesInUnionTypes01.js
@@ -2,8 +2,8 @@
 
 type T = "foo" | "bar" | "baz";
 
-var x: "foo" | "bar" | "baz" = "foo";
-var y: T = "bar";
+var x: "foo" | "bar" | "baz" = undefined;
+var y: T = undefined;
 
 if (x === "foo") {
     let a = x;
@@ -21,8 +21,8 @@ x = y;
 y = x;
 
 //// [stringLiteralTypesInUnionTypes01.js]
-var x = "foo";
-var y = "bar";
+var x = undefined;
+var y = undefined;
 if (x === "foo") {
     var a = x;
 }
diff --git a/tests/baselines/reference/stringLiteralTypesInUnionTypes01.symbols b/tests/baselines/reference/stringLiteralTypesInUnionTypes01.symbols
index c608929383e..15a8db13cd0 100644
--- a/tests/baselines/reference/stringLiteralTypesInUnionTypes01.symbols
+++ b/tests/baselines/reference/stringLiteralTypesInUnionTypes01.symbols
@@ -3,12 +3,14 @@
 type T = "foo" | "bar" | "baz";
 >T : Symbol(T, Decl(stringLiteralTypesInUnionTypes01.ts, 0, 0))
 
-var x: "foo" | "bar" | "baz" = "foo";
+var x: "foo" | "bar" | "baz" = undefined;
 >x : Symbol(x, Decl(stringLiteralTypesInUnionTypes01.ts, 3, 3))
+>undefined : Symbol(undefined)
 
-var y: T = "bar";
+var y: T = undefined;
 >y : Symbol(y, Decl(stringLiteralTypesInUnionTypes01.ts, 4, 3))
 >T : Symbol(T, Decl(stringLiteralTypesInUnionTypes01.ts, 0, 0))
+>undefined : Symbol(undefined)
 
 if (x === "foo") {
 >x : Symbol(x, Decl(stringLiteralTypesInUnionTypes01.ts, 3, 3))
diff --git a/tests/baselines/reference/stringLiteralTypesInUnionTypes01.types b/tests/baselines/reference/stringLiteralTypesInUnionTypes01.types
index e5ff509822b..7201aaa91ca 100644
--- a/tests/baselines/reference/stringLiteralTypesInUnionTypes01.types
+++ b/tests/baselines/reference/stringLiteralTypesInUnionTypes01.types
@@ -3,14 +3,14 @@
 type T = "foo" | "bar" | "baz";
 >T : "foo" | "bar" | "baz"
 
-var x: "foo" | "bar" | "baz" = "foo";
+var x: "foo" | "bar" | "baz" = undefined;
 >x : "foo" | "bar" | "baz"
->"foo" : "foo"
+>undefined : undefined
 
-var y: T = "bar";
+var y: T = undefined;
 >y : "foo" | "bar" | "baz"
 >T : "foo" | "bar" | "baz"
->"bar" : "bar"
+>undefined : undefined
 
 if (x === "foo") {
 >x === "foo" : boolean
diff --git a/tests/baselines/reference/stringLiteralTypesInUnionTypes02.js b/tests/baselines/reference/stringLiteralTypesInUnionTypes02.js
index 19b9c837c9d..bca25e744c9 100644
--- a/tests/baselines/reference/stringLiteralTypesInUnionTypes02.js
+++ b/tests/baselines/reference/stringLiteralTypesInUnionTypes02.js
@@ -2,8 +2,8 @@
 
 type T = string | "foo" | "bar" | "baz";
 
-var x: "foo" | "bar" | "baz" | string = "foo";
-var y: T = "bar";
+var x: "foo" | "bar" | "baz" | string = undefined;
+var y: T = undefined;
 
 if (x === "foo") {
     let a = x;
@@ -21,8 +21,8 @@ x = y;
 y = x;
 
 //// [stringLiteralTypesInUnionTypes02.js]
-var x = "foo";
-var y = "bar";
+var x = undefined;
+var y = undefined;
 if (x === "foo") {
     var a = x;
 }
diff --git a/tests/baselines/reference/stringLiteralTypesInUnionTypes02.symbols b/tests/baselines/reference/stringLiteralTypesInUnionTypes02.symbols
index c9b31dc710a..c35b7a0691b 100644
--- a/tests/baselines/reference/stringLiteralTypesInUnionTypes02.symbols
+++ b/tests/baselines/reference/stringLiteralTypesInUnionTypes02.symbols
@@ -3,12 +3,14 @@
 type T = string | "foo" | "bar" | "baz";
 >T : Symbol(T, Decl(stringLiteralTypesInUnionTypes02.ts, 0, 0))
 
-var x: "foo" | "bar" | "baz" | string = "foo";
+var x: "foo" | "bar" | "baz" | string = undefined;
 >x : Symbol(x, Decl(stringLiteralTypesInUnionTypes02.ts, 3, 3))
+>undefined : Symbol(undefined)
 
-var y: T = "bar";
+var y: T = undefined;
 >y : Symbol(y, Decl(stringLiteralTypesInUnionTypes02.ts, 4, 3))
 >T : Symbol(T, Decl(stringLiteralTypesInUnionTypes02.ts, 0, 0))
+>undefined : Symbol(undefined)
 
 if (x === "foo") {
 >x : Symbol(x, Decl(stringLiteralTypesInUnionTypes02.ts, 3, 3))
diff --git a/tests/baselines/reference/stringLiteralTypesInUnionTypes02.types b/tests/baselines/reference/stringLiteralTypesInUnionTypes02.types
index b468c620376..242248617e0 100644
--- a/tests/baselines/reference/stringLiteralTypesInUnionTypes02.types
+++ b/tests/baselines/reference/stringLiteralTypesInUnionTypes02.types
@@ -3,60 +3,60 @@
 type T = string | "foo" | "bar" | "baz";
 >T : string | "foo" | "bar" | "baz"
 
-var x: "foo" | "bar" | "baz" | string = "foo";
+var x: "foo" | "bar" | "baz" | string = undefined;
 >x : "foo" | "bar" | "baz" | string
->"foo" : "foo"
+>undefined : undefined
 
-var y: T = "bar";
+var y: T = undefined;
 >y : string | "foo" | "bar" | "baz"
 >T : string | "foo" | "bar" | "baz"
->"bar" : "bar"
+>undefined : undefined
 
 if (x === "foo") {
 >x === "foo" : boolean
->x : "foo" | "bar" | "baz" | string
+>x : string
 >"foo" : string
 
     let a = x;
->a : "foo" | "bar" | "baz" | string
->x : "foo" | "bar" | "baz" | string
+>a : string
+>x : string
 }
 else if (x !== "bar") {
 >x !== "bar" : boolean
->x : "foo" | "bar" | "baz" | string
+>x : string
 >"bar" : string
 
     let b = x || y;
 >b : string
 >x || y : string
->x : "foo" | "bar" | "baz" | string
->y : string | "foo" | "bar" | "baz"
+>x : string
+>y : string
 }
 else {
     let c = x;
->c : "foo" | "bar" | "baz" | string
->x : "foo" | "bar" | "baz" | string
+>c : string
+>x : string
 
     let d = y;
->d : string | "foo" | "bar" | "baz"
->y : string | "foo" | "bar" | "baz"
+>d : string
+>y : string
 
     let e: (typeof x) | (typeof y) = c || d;
->e : "foo" | "bar" | "baz" | string
->x : "foo" | "bar" | "baz" | string
->y : string | "foo" | "bar" | "baz"
+>e : string
+>x : string
+>y : string
 >c || d : string
->c : "foo" | "bar" | "baz" | string
->d : string | "foo" | "bar" | "baz"
+>c : string
+>d : string
 }
 
 x = y;
->x = y : string | "foo" | "bar" | "baz"
+>x = y : string
 >x : "foo" | "bar" | "baz" | string
->y : string | "foo" | "bar" | "baz"
+>y : string
 
 y = x;
->y = x : "foo" | "bar" | "baz" | string
+>y = x : string
 >y : string | "foo" | "bar" | "baz"
->x : "foo" | "bar" | "baz" | string
+>x : string
 
diff --git a/tests/baselines/reference/stringLiteralTypesInUnionTypes03.js b/tests/baselines/reference/stringLiteralTypesInUnionTypes03.js
index f6728e0b2fb..6264c99c13d 100644
--- a/tests/baselines/reference/stringLiteralTypesInUnionTypes03.js
+++ b/tests/baselines/reference/stringLiteralTypesInUnionTypes03.js
@@ -3,7 +3,7 @@
 type T = number | "foo" | "bar";
 
 var x: "foo" | "bar" | number;
-var y: T = "bar";
+var y: T = undefined;
 
 if (x === "foo") {
     let a = x;
@@ -22,7 +22,7 @@ y = x;
 
 //// [stringLiteralTypesInUnionTypes03.js]
 var x;
-var y = "bar";
+var y = undefined;
 if (x === "foo") {
     var a = x;
 }
diff --git a/tests/baselines/reference/stringLiteralTypesInUnionTypes03.symbols b/tests/baselines/reference/stringLiteralTypesInUnionTypes03.symbols
index df5498d9a59..6d519e24225 100644
--- a/tests/baselines/reference/stringLiteralTypesInUnionTypes03.symbols
+++ b/tests/baselines/reference/stringLiteralTypesInUnionTypes03.symbols
@@ -6,9 +6,10 @@ type T = number | "foo" | "bar";
 var x: "foo" | "bar" | number;
 >x : Symbol(x, Decl(stringLiteralTypesInUnionTypes03.ts, 3, 3))
 
-var y: T = "bar";
+var y: T = undefined;
 >y : Symbol(y, Decl(stringLiteralTypesInUnionTypes03.ts, 4, 3))
 >T : Symbol(T, Decl(stringLiteralTypesInUnionTypes03.ts, 0, 0))
+>undefined : Symbol(undefined)
 
 if (x === "foo") {
 >x : Symbol(x, Decl(stringLiteralTypesInUnionTypes03.ts, 3, 3))
diff --git a/tests/baselines/reference/stringLiteralTypesInUnionTypes03.types b/tests/baselines/reference/stringLiteralTypesInUnionTypes03.types
index 5fca6e69be9..920f7e1a71c 100644
--- a/tests/baselines/reference/stringLiteralTypesInUnionTypes03.types
+++ b/tests/baselines/reference/stringLiteralTypesInUnionTypes03.types
@@ -6,10 +6,10 @@ type T = number | "foo" | "bar";
 var x: "foo" | "bar" | number;
 >x : "foo" | "bar" | number
 
-var y: T = "bar";
+var y: T = undefined;
 >y : number | "foo" | "bar"
 >T : number | "foo" | "bar"
->"bar" : "bar"
+>undefined : undefined
 
 if (x === "foo") {
 >x === "foo" : boolean
diff --git a/tests/baselines/reference/stringLiteralTypesInUnionTypes04.js b/tests/baselines/reference/stringLiteralTypesInUnionTypes04.js
index dc6cf51ad1e..85c9a30c49d 100644
--- a/tests/baselines/reference/stringLiteralTypesInUnionTypes04.js
+++ b/tests/baselines/reference/stringLiteralTypesInUnionTypes04.js
@@ -2,8 +2,8 @@
 
 type T = "" | "foo";
 
-let x: T = "";
-let y: T = "foo";
+let x: T = undefined;
+let y: T = undefined;
 
 if (x === "") {
     let a = x;
@@ -38,8 +38,8 @@ if (!!!x) {
 }
 
 //// [stringLiteralTypesInUnionTypes04.js]
-var x = "";
-var y = "foo";
+var x = undefined;
+var y = undefined;
 if (x === "") {
     var a = x;
 }
diff --git a/tests/baselines/reference/stringLiteralTypesInUnionTypes04.symbols b/tests/baselines/reference/stringLiteralTypesInUnionTypes04.symbols
index ced93fcefc9..9904fa8613f 100644
--- a/tests/baselines/reference/stringLiteralTypesInUnionTypes04.symbols
+++ b/tests/baselines/reference/stringLiteralTypesInUnionTypes04.symbols
@@ -3,13 +3,15 @@
 type T = "" | "foo";
 >T : Symbol(T, Decl(stringLiteralTypesInUnionTypes04.ts, 0, 0))
 
-let x: T = "";
+let x: T = undefined;
 >x : Symbol(x, Decl(stringLiteralTypesInUnionTypes04.ts, 3, 3))
 >T : Symbol(T, Decl(stringLiteralTypesInUnionTypes04.ts, 0, 0))
+>undefined : Symbol(undefined)
 
-let y: T = "foo";
+let y: T = undefined;
 >y : Symbol(y, Decl(stringLiteralTypesInUnionTypes04.ts, 4, 3))
 >T : Symbol(T, Decl(stringLiteralTypesInUnionTypes04.ts, 0, 0))
+>undefined : Symbol(undefined)
 
 if (x === "") {
 >x : Symbol(x, Decl(stringLiteralTypesInUnionTypes04.ts, 3, 3))
diff --git a/tests/baselines/reference/stringLiteralTypesInUnionTypes04.types b/tests/baselines/reference/stringLiteralTypesInUnionTypes04.types
index ad92dc360d0..fdaaa21b6cb 100644
--- a/tests/baselines/reference/stringLiteralTypesInUnionTypes04.types
+++ b/tests/baselines/reference/stringLiteralTypesInUnionTypes04.types
@@ -3,15 +3,15 @@
 type T = "" | "foo";
 >T : "" | "foo"
 
-let x: T = "";
+let x: T = undefined;
 >x : "" | "foo"
 >T : "" | "foo"
->"" : ""
+>undefined : undefined
 
-let y: T = "foo";
+let y: T = undefined;
 >y : "" | "foo"
 >T : "" | "foo"
->"foo" : "foo"
+>undefined : undefined
 
 if (x === "") {
 >x === "" : boolean
diff --git a/tests/baselines/reference/stringLiteralTypesTypePredicates01.js b/tests/baselines/reference/stringLiteralTypesTypePredicates01.js
index fd4129d272d..fdd03c83aa5 100644
--- a/tests/baselines/reference/stringLiteralTypesTypePredicates01.js
+++ b/tests/baselines/reference/stringLiteralTypesTypePredicates01.js
@@ -8,7 +8,7 @@ function kindIs(kind: Kind, is: Kind): boolean {
     return kind === is;
 }
 
-var x: Kind = "A";
+var x: Kind = undefined;
 
 if (kindIs(x, "A")) {
     let a = x;
@@ -28,7 +28,7 @@ else {
 function kindIs(kind, is) {
     return kind === is;
 }
-var x = "A";
+var x = undefined;
 if (kindIs(x, "A")) {
     var a = x;
 }
diff --git a/tests/baselines/reference/stringLiteralTypesTypePredicates01.symbols b/tests/baselines/reference/stringLiteralTypesTypePredicates01.symbols
index 6b18cab7432..aea8c6ac262 100644
--- a/tests/baselines/reference/stringLiteralTypesTypePredicates01.symbols
+++ b/tests/baselines/reference/stringLiteralTypesTypePredicates01.symbols
@@ -29,9 +29,10 @@ function kindIs(kind: Kind, is: Kind): boolean {
 >is : Symbol(is, Decl(stringLiteralTypesTypePredicates01.ts, 5, 27))
 }
 
-var x: Kind = "A";
+var x: Kind = undefined;
 >x : Symbol(x, Decl(stringLiteralTypesTypePredicates01.ts, 9, 3))
 >Kind : Symbol(Kind, Decl(stringLiteralTypesTypePredicates01.ts, 0, 0))
+>undefined : Symbol(undefined)
 
 if (kindIs(x, "A")) {
 >kindIs : Symbol(kindIs, Decl(stringLiteralTypesTypePredicates01.ts, 1, 21), Decl(stringLiteralTypesTypePredicates01.ts, 3, 50), Decl(stringLiteralTypesTypePredicates01.ts, 4, 50))
diff --git a/tests/baselines/reference/stringLiteralTypesTypePredicates01.types b/tests/baselines/reference/stringLiteralTypesTypePredicates01.types
index 41da80afd30..4a765ea5312 100644
--- a/tests/baselines/reference/stringLiteralTypesTypePredicates01.types
+++ b/tests/baselines/reference/stringLiteralTypesTypePredicates01.types
@@ -30,10 +30,10 @@ function kindIs(kind: Kind, is: Kind): boolean {
 >is : "A" | "B"
 }
 
-var x: Kind = "A";
+var x: Kind = undefined;
 >x : "A" | "B"
 >Kind : "A" | "B"
->"A" : "A"
+>undefined : undefined
 
 if (kindIs(x, "A")) {
 >kindIs(x, "A") : boolean
diff --git a/tests/cases/conformance/types/stringLiteral/stringLiteralTypesInUnionTypes01.ts b/tests/cases/conformance/types/stringLiteral/stringLiteralTypesInUnionTypes01.ts
index b8ed1b47dd4..05f8c511118 100644
--- a/tests/cases/conformance/types/stringLiteral/stringLiteralTypesInUnionTypes01.ts
+++ b/tests/cases/conformance/types/stringLiteral/stringLiteralTypesInUnionTypes01.ts
@@ -2,8 +2,8 @@
 
 type T = "foo" | "bar" | "baz";
 
-var x: "foo" | "bar" | "baz" = "foo";
-var y: T = "bar";
+var x: "foo" | "bar" | "baz" = undefined;
+var y: T = undefined;
 
 if (x === "foo") {
     let a = x;
diff --git a/tests/cases/conformance/types/stringLiteral/stringLiteralTypesInUnionTypes02.ts b/tests/cases/conformance/types/stringLiteral/stringLiteralTypesInUnionTypes02.ts
index 2cc63ab4460..ee61efc37ca 100644
--- a/tests/cases/conformance/types/stringLiteral/stringLiteralTypesInUnionTypes02.ts
+++ b/tests/cases/conformance/types/stringLiteral/stringLiteralTypesInUnionTypes02.ts
@@ -2,8 +2,8 @@
 
 type T = string | "foo" | "bar" | "baz";
 
-var x: "foo" | "bar" | "baz" | string = "foo";
-var y: T = "bar";
+var x: "foo" | "bar" | "baz" | string = undefined;
+var y: T = undefined;
 
 if (x === "foo") {
     let a = x;
diff --git a/tests/cases/conformance/types/stringLiteral/stringLiteralTypesInUnionTypes03.ts b/tests/cases/conformance/types/stringLiteral/stringLiteralTypesInUnionTypes03.ts
index d5c6a38af79..96a4f035c4b 100644
--- a/tests/cases/conformance/types/stringLiteral/stringLiteralTypesInUnionTypes03.ts
+++ b/tests/cases/conformance/types/stringLiteral/stringLiteralTypesInUnionTypes03.ts
@@ -3,7 +3,7 @@
 type T = number | "foo" | "bar";
 
 var x: "foo" | "bar" | number;
-var y: T = "bar";
+var y: T = undefined;
 
 if (x === "foo") {
     let a = x;
diff --git a/tests/cases/conformance/types/stringLiteral/stringLiteralTypesInUnionTypes04.ts b/tests/cases/conformance/types/stringLiteral/stringLiteralTypesInUnionTypes04.ts
index e9d062b0e5c..9f37e272b46 100644
--- a/tests/cases/conformance/types/stringLiteral/stringLiteralTypesInUnionTypes04.ts
+++ b/tests/cases/conformance/types/stringLiteral/stringLiteralTypesInUnionTypes04.ts
@@ -2,8 +2,8 @@
 
 type T = "" | "foo";
 
-let x: T = "";
-let y: T = "foo";
+let x: T = undefined;
+let y: T = undefined;
 
 if (x === "") {
     let a = x;
diff --git a/tests/cases/conformance/types/stringLiteral/stringLiteralTypesTypePredicates01.ts b/tests/cases/conformance/types/stringLiteral/stringLiteralTypesTypePredicates01.ts
index a78918c8122..2199ff3a7c7 100644
--- a/tests/cases/conformance/types/stringLiteral/stringLiteralTypesTypePredicates01.ts
+++ b/tests/cases/conformance/types/stringLiteral/stringLiteralTypesTypePredicates01.ts
@@ -8,7 +8,7 @@ function kindIs(kind: Kind, is: Kind): boolean {
     return kind === is;
 }
 
-var x: Kind = "A";
+var x: Kind = undefined;
 
 if (kindIs(x, "A")) {
     let a = x;