Accept new baselines

tests/baselines/reference/ES5for-of32.types

@@ -18,7 +18,7 @@ for (let num of array) {
     if (sum === 0) {
 >sum === 0 : boolean
 >sum : number
->0 : number
+>0 : 0
 
         array = [4,5,6]
 >array = [4,5,6] : number[]

tests/baselines/reference/TypeGuardWithEnumUnion.types

@@ -14,7 +14,7 @@ function f1(x: Color | string) {
 >typeof x === "number" : boolean
 >typeof x : string
 >x : Color | string
->"number" : string
+>"number" : "number"
 
         var y = x;
 >y : Color
@@ -43,7 +43,7 @@ function f2(x: Color | string | string[]) {
 >typeof x === "object" : boolean
 >typeof x : string
 >x : Color | string | string[]
->"object" : string
+>"object" : "object"
 
         var y = x;
 >y : string[]
@@ -56,7 +56,7 @@ function f2(x: Color | string | string[]) {
 >typeof x === "number" : boolean
 >typeof x : string
 >x : string[] | Color | string
->"number" : string
+>"number" : "number"
 
         var z = x;
 >z : Color
@@ -78,7 +78,7 @@ function f2(x: Color | string | string[]) {
 >typeof x === "string" : boolean
 >typeof x : string
 >x : Color | string[] | string
->"string" : string
+>"string" : "string"
 
         var a = x;
 >a : string

tests/baselines/reference/amdImportAsPrimaryExpression.types

@@ -9,7 +9,7 @@ if(foo.E1.A === 0){
 >foo : typeof foo
 >E1 : typeof foo.E1
 >A : foo.E1
->0 : number
+>0 : 0
 
 	// Should cause runtime import - interesting optimization possibility, as gets inlined to 0.
 }

tests/baselines/reference/anonymousClassExpression1.types

@@ -6,5 +6,5 @@ function f() {
 >typeof class {} === "function" : boolean
 >typeof class {} : string
 >class {} : typeof (Anonymous class)
->"function" : string
+>"function" : "function"
 }

tests/baselines/reference/blockScopedBindingsReassignedInLoop2.types

@@ -25,7 +25,7 @@ for (let x = 1, y = 2; x < y; ++x, --y) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
@@ -63,7 +63,7 @@ for (let x = 1, y = 2; x < y; ++x, --y) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         continue;
     }
@@ -104,7 +104,7 @@ for (let x = 1, y = 2; x < y; ++x, --y) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break loop;
 >loop : any
@@ -146,7 +146,7 @@ for (let x = 1, y = 2; x < y; ++x, --y) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         continue loop;
 >loop : any

tests/baselines/reference/blockScopedBindingsReassignedInLoop3.types

@@ -26,7 +26,7 @@ for (let x = 1, y = 2; x < y; ++x, --y) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
@@ -96,7 +96,7 @@ for (let x = 1, y = 2; x < y; ++x, --y) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         continue;
     }
@@ -168,7 +168,7 @@ for (let x = 1, y = 2; x < y; ++x, --y) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break loop2;
 >loop2 : any
@@ -248,7 +248,7 @@ for (let x = 1, y = 2; x < y; ++x, --y) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         continue loop2;
 >loop2 : any

tests/baselines/reference/blockScopedBindingsReassignedInLoop4.types

@@ -28,7 +28,7 @@ function f1() {
         if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
             return 1;
 >1 : number

tests/baselines/reference/blockScopedBindingsReassignedInLoop5.types

@@ -25,7 +25,7 @@ for (let x = 1, y = 2; x < y; ++x, --y) {
     if (x == 1) 
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     else 

tests/baselines/reference/blockScopedBindingsReassignedInLoop6.types

@@ -29,13 +29,13 @@ function f1() {
         if (x == 1)
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
             break;
         else if (y == 2)
 >y == 2 : boolean
 >y : number
->2 : number
+>2 : 2
 
             y = 5;
 >y = 5 : number
@@ -85,13 +85,13 @@ function f2() {
         if (x == 1)
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
             break;
         else if (y == 2)
 >y == 2 : boolean
 >y : number
->2 : number
+>2 : 2
 
             y = 5;
 >y = 5 : number

tests/baselines/reference/capturedLetConstInLoop1.types

@@ -52,8 +52,8 @@ for (let x = 0; x < 1; ++x) {
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     let x;
 >x : any
@@ -85,8 +85,8 @@ do {
 
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 for (let y = 0; y < 1; ++y) {
 >y : number
@@ -140,8 +140,8 @@ for (let x = 0, y = 1; x < 1; ++x) {
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     let x, y;
 >x : any
@@ -183,8 +183,8 @@ do {
 
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 for (let y = 0; y < 1; ++y) {
 >y : number
@@ -265,8 +265,8 @@ for (const x = 0; x < 1;) {
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     const x = 1;
 >x : number
@@ -300,8 +300,8 @@ do {
 
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 for (const y = 0; y < 1;) {
 >y : number
@@ -351,8 +351,8 @@ for (const x = 0, y = 1; x < 1;) {
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     const x = 1, y = 1;
 >x : number
@@ -398,8 +398,8 @@ do {
 
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 for (const y = 0; y < 1;) {
 >y : number

tests/baselines/reference/capturedLetConstInLoop11.types

@@ -21,7 +21,7 @@ function foo() {
 >a : number
 
             case 0: return () => a;
->0 : number
+>0 : 0
 >() => a : () => number
 >a : number
         }

tests/baselines/reference/capturedLetConstInLoop11_ES6.types

@@ -21,7 +21,7 @@ function foo() {
 >a : number
 
             case 0: return () => a;
->0 : number
+>0 : 0
 >() => a : () => number
 >a : number
         }

tests/baselines/reference/capturedLetConstInLoop1_ES6.types

@@ -52,8 +52,8 @@ for (let x = 0; x < 1; ++x) {
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     let x;
 >x : any
@@ -85,8 +85,8 @@ do {
 
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 for (let y = 0; y < 1; ++y) {
 >y : number
@@ -140,8 +140,8 @@ for (let x = 0, y = 1; x < 1; ++x) {
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     let x, y;
 >x : any
@@ -183,8 +183,8 @@ do {
 
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 for (let y = 0; y < 1; ++y) {
 >y : number
@@ -265,8 +265,8 @@ for (const x = 0; x < 1;) {
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     const x = 1;
 >x : number
@@ -300,8 +300,8 @@ do {
 
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 for (const y = 0; y < 1;) {
 >y : number
@@ -351,8 +351,8 @@ for (const x = 0, y = 1; x < 1;) {
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     const x = 1, y = 1;
 >x : number
@@ -398,8 +398,8 @@ do {
 
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 for (const y = 0; y < 1;) {
 >y : number

tests/baselines/reference/capturedLetConstInLoop2.types

@@ -103,8 +103,8 @@ function foo2(x) {
 
     while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
         let a = arguments.length;
 >a : number
@@ -158,8 +158,8 @@ function foo3(x) {
 
     } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 }
 
 function foo4(x) {
@@ -249,8 +249,8 @@ function foo6(x) {
 
     while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
         let x, y;
 >x : any
@@ -317,8 +317,8 @@ function foo7(x) {
 
     } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 }
 
 
@@ -464,8 +464,8 @@ function foo2_c(x) {
 
     while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
         const a = arguments.length;
 >a : number
@@ -520,8 +520,8 @@ function foo3_c(x) {
 
     } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 }
 
 function foo4_c(x) {
@@ -607,8 +607,8 @@ function foo6_c(x) {
 
     while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
         const x = 1, y =1 ;
 >x : number
@@ -679,8 +679,8 @@ function foo7_c(x) {
 
     } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 }
 
 

tests/baselines/reference/capturedLetConstInLoop2_ES6.types

@@ -102,8 +102,8 @@ function foo2(x) {
 
     while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
         let a = arguments.length;
 >a : number
@@ -157,8 +157,8 @@ function foo3(x) {
 
     } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 }
 
 function foo4(x) {
@@ -248,8 +248,8 @@ function foo6(x) {
 
     while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
         let x, y;
 >x : any
@@ -316,8 +316,8 @@ function foo7(x) {
 
     } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 }
 
 
@@ -463,8 +463,8 @@ function foo2_c(x) {
 
     while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
         const a = arguments.length;
 >a : number
@@ -519,8 +519,8 @@ function foo3_c(x) {
 
     } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 }
 
 function foo4_c(x) {
@@ -606,8 +606,8 @@ function foo6_c(x) {
 
     while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
         const x = 1, y =1 ;
 >x : number
@@ -678,8 +678,8 @@ function foo7_c(x) {
 
     } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 }
 
 

tests/baselines/reference/capturedLetConstInLoop3.types

@@ -114,8 +114,8 @@ function foo2(x) {
 
     while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
         let x = 1;
 >x : number
@@ -173,8 +173,8 @@ function foo3(x) {
 
     } while (1 === 1);
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
     
     use(v);
 >use(v) : any
@@ -275,8 +275,8 @@ function foo6(x) {
 
     while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
         let x, y;
 >x : any
@@ -344,8 +344,8 @@ function foo7(x) {
 
     } while (1 === 1);
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
     
     use(v);
 >use(v) : any
@@ -508,8 +508,8 @@ function foo2_c(x) {
 
     while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
         const x = 1;
 >x : number
@@ -568,8 +568,8 @@ function foo3_c(x) {
 
     } while (1 === 1);
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
     
     use(v);
 >use(v) : any
@@ -666,8 +666,8 @@ function foo6_c(x) {
 
     while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
         const x = 1, y = 1;
 >x : number
@@ -739,8 +739,8 @@ function foo7_c(x) {
 
     } while (1 === 1);
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
     
     use(v);
 >use(v) : any

tests/baselines/reference/capturedLetConstInLoop3_ES6.types

@@ -115,8 +115,8 @@ function foo2(x) {
 
     while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
         let x = 1;
 >x : number
@@ -174,8 +174,8 @@ function foo3(x) {
 
     } while (1 === 1);
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
     
     use(v);
 >use(v) : any
@@ -276,8 +276,8 @@ function foo6(x) {
 
     while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
         let x, y;
 >x : any
@@ -345,8 +345,8 @@ function foo7(x) {
 
     } while (1 === 1);
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
     
     use(v);
 >use(v) : any
@@ -509,8 +509,8 @@ function foo2_c(x) {
 
     while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
         const x = 1;
 >x : number
@@ -569,8 +569,8 @@ function foo3_c(x) {
 
     } while (1 === 1);
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
     
     use(v);
 >use(v) : any
@@ -667,8 +667,8 @@ function foo6_c(x) {
 
     while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
         const x = 1, y = 1;
 >x : number
@@ -740,8 +740,8 @@ function foo7_c(x) {
 
     } while (1 === 1);
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
     
     use(v);
 >use(v) : any

tests/baselines/reference/capturedLetConstInLoop4.types

@@ -96,8 +96,8 @@ for (let x = 0; x < 1; ++x) {
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     let x;
 >x : any
@@ -141,8 +141,8 @@ do {
 
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 for (let y = 0; y < 1; ++y) {
 >y : number
@@ -208,8 +208,8 @@ for (let x = 0, y = 1; x < 1; ++x) {
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     let x, y;
 >x : any
@@ -263,8 +263,8 @@ do {
 
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 for (let y = 0; y < 1; ++y) {
 >y : number
@@ -394,8 +394,8 @@ for (const x = 0; x < 1;) {
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     const x =1;
 >x : number
@@ -441,8 +441,8 @@ do {
 
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 for (const y = 0; y < 1;) {
 >y : number
@@ -504,8 +504,8 @@ for (const x = 0, y = 1; x < 1;) {
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     const x = 1, y = 1;
 >x : number
@@ -563,8 +563,8 @@ do {
 
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 for (const y = 0; y < 1;) {
 >y : number

tests/baselines/reference/capturedLetConstInLoop4_ES6.types

@@ -96,8 +96,8 @@ for (let x = 0; x < 1; ++x) {
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     let x;
 >x : any
@@ -141,8 +141,8 @@ do {
 
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 for (let y = 0; y < 1; ++y) {
 >y : number
@@ -208,8 +208,8 @@ for (let x = 0, y = 1; x < 1; ++x) {
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     let x, y;
 >x : any
@@ -263,8 +263,8 @@ do {
 
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 for (let y = 0; y < 1; ++y) {
 >y : number
@@ -394,8 +394,8 @@ for (const x = 0; x < 1;) {
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     const x =1;
 >x : number
@@ -441,8 +441,8 @@ do {
 
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 for (const y = 0; y < 1;) {
 >y : number
@@ -504,8 +504,8 @@ for (const x = 0, y = 1; x < 1;) {
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     const x = 1, y = 1;
 >x : number
@@ -563,8 +563,8 @@ do {
 
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 for (const y = 0; y < 1;) {
 >y : number

tests/baselines/reference/capturedLetConstInLoop5.types

@@ -33,7 +33,7 @@ function foo0(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
             return;
         }
@@ -74,7 +74,7 @@ function foo00(x) {
         if (x == "1") {
 >x == "1" : boolean
 >x : string
->"1" : string
+>"1" : "1"
 
             return;
         }
@@ -120,7 +120,7 @@ function foo1(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
             return;
         }
@@ -138,8 +138,8 @@ function foo2(x) {
 
     while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
         let x = 1;
 >x : number
@@ -166,7 +166,7 @@ function foo2(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
             return;
         }
@@ -206,14 +206,14 @@ function foo3(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
             return;
         }
     } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
     
     use(v);
 >use(v) : any
@@ -259,7 +259,7 @@ function foo4(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
             return;
         }
@@ -311,7 +311,7 @@ function foo5(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
             return;
         }
@@ -330,8 +330,8 @@ function foo6(x) {
 
     while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
         let x, y;
 >x : any
@@ -362,7 +362,7 @@ function foo6(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
             return;
         }
@@ -408,14 +408,14 @@ function foo7(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
             return;
         }
     } while (1 === 1);
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
     
     use(v);
 >use(v) : any
@@ -466,7 +466,7 @@ function foo8(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
             return;
         }
@@ -508,7 +508,7 @@ function foo0_c(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
             return;
         }
@@ -549,7 +549,7 @@ function foo00_c(x) {
         if (x == "1") {
 >x == "1" : boolean
 >x : string
->"1" : string
+>"1" : "1"
 
             return;
         }
@@ -593,7 +593,7 @@ function foo1_c(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
             return;
         }
@@ -611,8 +611,8 @@ function foo2_c(x) {
 
     while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
         const x = 1;
 >x : number
@@ -639,7 +639,7 @@ function foo2_c(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
             return;
         }
@@ -680,14 +680,14 @@ function foo3_c(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
             return;
         }
     } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
     
     use(v);
 >use(v) : any
@@ -731,7 +731,7 @@ function foo4_c(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
             return;
         }
@@ -781,7 +781,7 @@ function foo5_c(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
             return;
         }
@@ -800,8 +800,8 @@ function foo6_c(x) {
 
     while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
         const x = 1, y = 1;
 >x : number
@@ -834,7 +834,7 @@ function foo6_c(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
             return;
         }
@@ -882,14 +882,14 @@ function foo7_c(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
             return;
         }
     } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
     
     use(v);
 >use(v) : any
@@ -938,7 +938,7 @@ function foo8_c(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
             return;
         }

tests/baselines/reference/capturedLetConstInLoop5_ES6.types

@@ -34,7 +34,7 @@ function foo0(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
             return;
         }
@@ -75,7 +75,7 @@ function foo00(x) {
         if (x == "1") {
 >x == "1" : boolean
 >x : string
->"1" : string
+>"1" : "1"
 
             return;
         }
@@ -121,7 +121,7 @@ function foo1(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
             return;
         }
@@ -139,8 +139,8 @@ function foo2(x) {
 
     while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
         let x = 1;
 >x : number
@@ -167,7 +167,7 @@ function foo2(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
             return;
         }
@@ -207,14 +207,14 @@ function foo3(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
             return;
         }
     } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
     
     use(v);
 >use(v) : any
@@ -260,7 +260,7 @@ function foo4(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
             return;
         }
@@ -312,7 +312,7 @@ function foo5(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
             return;
         }
@@ -331,8 +331,8 @@ function foo6(x) {
 
     while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
         let x, y;
 >x : any
@@ -363,7 +363,7 @@ function foo6(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
             return;
         }
@@ -409,14 +409,14 @@ function foo7(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
             return;
         }
     } while (1 === 1);
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
     
     use(v);
 >use(v) : any
@@ -467,7 +467,7 @@ function foo8(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
             return;
         }
@@ -509,7 +509,7 @@ function foo0_c(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
             return;
         }
@@ -550,7 +550,7 @@ function foo00_c(x) {
         if (x == "1") {
 >x == "1" : boolean
 >x : string
->"1" : string
+>"1" : "1"
 
             return;
         }
@@ -594,7 +594,7 @@ function foo1_c(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
             return;
         }
@@ -612,8 +612,8 @@ function foo2_c(x) {
 
     while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
         const x = 1;
 >x : number
@@ -640,7 +640,7 @@ function foo2_c(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
             return;
         }
@@ -681,14 +681,14 @@ function foo3_c(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
             return;
         }
     } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
     
     use(v);
 >use(v) : any
@@ -732,7 +732,7 @@ function foo4_c(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
             return;
         }
@@ -782,7 +782,7 @@ function foo5_c(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
             return;
         }
@@ -801,8 +801,8 @@ function foo6_c(x) {
 
     while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
         const x = 1, y = 1;
 >x : number
@@ -835,7 +835,7 @@ function foo6_c(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
             return;
         }
@@ -883,14 +883,14 @@ function foo7_c(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
             return;
         }
     } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
     
     use(v);
 >use(v) : any
@@ -939,7 +939,7 @@ function foo8_c(x) {
         if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
             return;
         }

tests/baselines/reference/capturedLetConstInLoop6.types

@@ -17,14 +17,14 @@ for (let x of []) {
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue;
     }
@@ -47,14 +47,14 @@ for (let x in []) {
     if (x == "1") {
 >x == "1" : boolean
 >x : string
->"1" : string
+>"1" : "1"
 
         break;
     }
     if (x == "2") {
 >x == "2" : boolean
 >x : string
->"2" : string
+>"2" : "2"
 
         continue;
     }
@@ -83,14 +83,14 @@ for (let x = 0; x < 1; ++x) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
@@ -98,8 +98,8 @@ for (let x = 0; x < 1; ++x) {
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     let x;
 >x : any
@@ -117,14 +117,14 @@ while (1 === 1) {
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue;
     }
@@ -147,21 +147,21 @@ do {
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue;
     }
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 for (let y = 0; y < 1; ++y) {
 >y : number
@@ -189,14 +189,14 @@ for (let y = 0; y < 1; ++y) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
@@ -230,14 +230,14 @@ for (let x = 0, y = 1; x < 1; ++x) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
@@ -245,8 +245,8 @@ for (let x = 0, y = 1; x < 1; ++x) {
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     let x, y;
 >x : any
@@ -269,14 +269,14 @@ while (1 === 1) {
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue;
     }
@@ -304,21 +304,21 @@ do {
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue;
     }
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 for (let y = 0; y < 1; ++y) {
 >y : number
@@ -350,14 +350,14 @@ for (let y = 0; y < 1; ++y) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
@@ -382,14 +382,14 @@ for (const x of []) {
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue;
     }
@@ -412,14 +412,14 @@ for (const x in []) {
     if (x == "1") {
 >x == "1" : boolean
 >x : string
->"1" : string
+>"1" : "1"
 
         break;
     }
     if (x == "2") {
 >x == "2" : boolean
 >x : string
->"2" : string
+>"2" : "2"
 
         continue;
     }
@@ -446,14 +446,14 @@ for (const x = 0; x < 1;) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
@@ -461,8 +461,8 @@ for (const x = 0; x < 1;) {
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     const x = 1;
 >x : number
@@ -481,14 +481,14 @@ while (1 === 1) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
@@ -512,21 +512,21 @@ do {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 for (const y = 0; y < 1;) {
 >y : number
@@ -552,14 +552,14 @@ for (const y = 0; y < 1;) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
@@ -591,14 +591,14 @@ for (const x = 0, y = 1; x < 1;) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
@@ -606,8 +606,8 @@ for (const x = 0, y = 1; x < 1;) {
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     const x = 1, y = 1;
 >x : number
@@ -632,14 +632,14 @@ while (1 === 1) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
@@ -669,21 +669,21 @@ do {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 for (const y = 0; y < 1;) {
 >y : number
@@ -713,14 +713,14 @@ for (const y = 0; y < 1;) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }

tests/baselines/reference/capturedLetConstInLoop6_ES6.types

@@ -17,14 +17,14 @@ for (let x of []) {
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue;
     }
@@ -47,14 +47,14 @@ for (let x in []) {
     if (x == "1") {
 >x == "1" : boolean
 >x : string
->"1" : string
+>"1" : "1"
 
         break;
     }
     if (x == "2") {
 >x == "2" : boolean
 >x : string
->"2" : string
+>"2" : "2"
 
         continue;
     }
@@ -83,14 +83,14 @@ for (let x = 0; x < 1; ++x) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
@@ -98,8 +98,8 @@ for (let x = 0; x < 1; ++x) {
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     let x;
 >x : any
@@ -117,14 +117,14 @@ while (1 === 1) {
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue;
     }
@@ -147,21 +147,21 @@ do {
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue;
     }
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 for (let y = 0; y < 1; ++y) {
 >y : number
@@ -189,14 +189,14 @@ for (let y = 0; y < 1; ++y) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
@@ -230,14 +230,14 @@ for (let x = 0, y = 1; x < 1; ++x) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
@@ -245,8 +245,8 @@ for (let x = 0, y = 1; x < 1; ++x) {
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     let x, y;
 >x : any
@@ -269,14 +269,14 @@ while (1 === 1) {
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue;
     }
@@ -304,21 +304,21 @@ do {
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue;
     }
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 for (let y = 0; y < 1; ++y) {
 >y : number
@@ -350,14 +350,14 @@ for (let y = 0; y < 1; ++y) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
@@ -382,14 +382,14 @@ for (const x of []) {
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue;
     }
@@ -412,14 +412,14 @@ for (const x in []) {
     if (x == "1") {
 >x == "1" : boolean
 >x : string
->"1" : string
+>"1" : "1"
 
         break;
     }
     if (x == "2") {
 >x == "2" : boolean
 >x : string
->"2" : string
+>"2" : "2"
 
         continue;
     }
@@ -446,14 +446,14 @@ for (const x = 0; x < 1;) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
@@ -461,8 +461,8 @@ for (const x = 0; x < 1;) {
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     const x = 1;
 >x : number
@@ -481,14 +481,14 @@ while (1 === 1) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
@@ -512,21 +512,21 @@ do {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 for (const y = 0; y < 1;) {
 >y : number
@@ -552,14 +552,14 @@ for (const y = 0; y < 1;) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
@@ -591,14 +591,14 @@ for (const x = 0, y = 1; x < 1;) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
@@ -606,8 +606,8 @@ for (const x = 0, y = 1; x < 1;) {
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     const x = 1, y = 1;
 >x : number
@@ -632,14 +632,14 @@ while (1 === 1) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
@@ -669,21 +669,21 @@ do {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 for (const y = 0; y < 1;) {
 >y : number
@@ -713,14 +713,14 @@ for (const y = 0; y < 1;) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }

tests/baselines/reference/capturedLetConstInLoop7.types

@@ -20,14 +20,14 @@ for (let x of []) {
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break l0;
 >l0 : any
@@ -35,14 +35,14 @@ for (let x of []) {
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue l0;
 >l0 : any
@@ -69,14 +69,14 @@ for (let x in []) {
     if (x == "1") {
 >x == "1" : boolean
 >x : string
->"1" : string
+>"1" : "1"
 
         break;
     }
     if (x == "1") {
 >x == "1" : boolean
 >x : string
->"1" : string
+>"1" : "1"
 
         break l00;
 >l00 : any
@@ -84,14 +84,14 @@ for (let x in []) {
     if (x == "2") {
 >x == "2" : boolean
 >x : string
->"2" : string
+>"2" : "2"
 
         continue;
     }
     if (x == "2") {
 >x == "2" : boolean
 >x : string
->"2" : string
+>"2" : "2"
 
         continue l00;
 >l00 : any
@@ -123,14 +123,14 @@ for (let x = 0; x < 1; ++x) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break l1;
 >l1 : any
@@ -138,14 +138,14 @@ for (let x = 0; x < 1; ++x) {
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue l1;
 >l1 : any
@@ -157,8 +157,8 @@ l2:
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     let x;
 >x : any
@@ -176,14 +176,14 @@ while (1 === 1) {
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break l2;
 >l2 : any
@@ -191,14 +191,14 @@ while (1 === 1) {
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue l2;
 >l2 : any
@@ -225,14 +225,14 @@ do {
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break l3;
 >l3 : any
@@ -240,22 +240,22 @@ do {
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue l3;
 >l3 : any
     }
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 l4:
 >l4 : any
@@ -286,14 +286,14 @@ for (let y = 0; y < 1; ++y) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break l4;
 >l4 : any
@@ -301,14 +301,14 @@ for (let y = 0; y < 1; ++y) {
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue l4;
 >l4 : any
@@ -346,14 +346,14 @@ for (let x = 0, y = 1; x < 1; ++x) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break l5;
 >l5 : any
@@ -361,14 +361,14 @@ for (let x = 0, y = 1; x < 1; ++x) {
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue l5;
 >l5 : any
@@ -380,8 +380,8 @@ l6:
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     let x, y;
 >x : any
@@ -404,14 +404,14 @@ while (1 === 1) {
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break l6;
 >l6 : any
@@ -419,14 +419,14 @@ while (1 === 1) {
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue l6;
 >l6 : any
@@ -459,14 +459,14 @@ do {
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break l7;
 >l7 : any
@@ -474,22 +474,22 @@ do {
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue l7;
 >l7 : any
     }
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 l8:
 >l8 : any
@@ -524,14 +524,14 @@ for (let y = 0; y < 1; ++y) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break l8;
 >l8 : any
@@ -539,14 +539,14 @@ for (let y = 0; y < 1; ++y) {
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue l8;
 >l8 : any
@@ -574,14 +574,14 @@ for (const x of []) {
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break l0_c;
 >l0_c : any
@@ -589,14 +589,14 @@ for (const x of []) {
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue l0_c;
 >l0_c : any
@@ -623,14 +623,14 @@ for (const x in []) {
     if (x == "1") {
 >x == "1" : boolean
 >x : string
->"1" : string
+>"1" : "1"
 
         break;
     }
     if (x == "1") {
 >x == "1" : boolean
 >x : string
->"1" : string
+>"1" : "1"
 
         break l00_c;
 >l00_c : any
@@ -638,14 +638,14 @@ for (const x in []) {
     if (x == "2") {
 >x == "2" : boolean
 >x : string
->"2" : string
+>"2" : "2"
 
         continue;
     }
     if (x == "2") {
 >x == "2" : boolean
 >x : string
->"2" : string
+>"2" : "2"
 
         continue l00_c;
 >l00_c : any
@@ -675,14 +675,14 @@ for (const x = 0; x < 1;) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break l1_c;
 >l1_c : any
@@ -690,14 +690,14 @@ for (const x = 0; x < 1;) {
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue l1_c;
 >l1_c : any
@@ -709,8 +709,8 @@ l2_c:
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     const x = 1;
 >x : number
@@ -729,14 +729,14 @@ while (1 === 1) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break l2_c;
 >l2_c : any
@@ -744,14 +744,14 @@ while (1 === 1) {
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue l2_c;
 >l2_c : any
@@ -779,14 +779,14 @@ do {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break l3_c;
 >l3_c : any
@@ -794,22 +794,22 @@ do {
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue l3_c;
 >l3_c : any
     }
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 l4_c:
 >l4_c : any
@@ -838,14 +838,14 @@ for (const y = 0; y < 1;) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break l4_c;
 >l4_c : any
@@ -853,14 +853,14 @@ for (const y = 0; y < 1;) {
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue l4_c;
 >l4_c : any
@@ -896,14 +896,14 @@ for (const x = 0, y = 1; x < 1;) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break l5_c;
 >l5_c : any
@@ -911,14 +911,14 @@ for (const x = 0, y = 1; x < 1;) {
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue l5_c;
 >l5_c : any
@@ -930,8 +930,8 @@ l6_c:
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     const x = 1, y = 1;
 >x : number
@@ -956,14 +956,14 @@ while (1 === 1) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break l6_c;
 >l6_c : any
@@ -971,14 +971,14 @@ while (1 === 1) {
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue l6_c;
 >l6_c : any
@@ -1013,14 +1013,14 @@ do {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break l7_c;
 >l7_c : any
@@ -1028,22 +1028,22 @@ do {
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue l7_c;
 >l7_c : any
     }
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 l8_c:
 >l8_c : any
@@ -1076,14 +1076,14 @@ for (const y = 0; y < 1;) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break l8_c;
 >l8_c : any
@@ -1091,14 +1091,14 @@ for (const y = 0; y < 1;) {
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue l8_c;
 >l8_c : any

tests/baselines/reference/capturedLetConstInLoop7_ES6.types

@@ -20,14 +20,14 @@ for (let x of []) {
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break l0;
 >l0 : any
@@ -35,14 +35,14 @@ for (let x of []) {
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue l0;
 >l0 : any
@@ -69,14 +69,14 @@ for (let x in []) {
     if (x == "1") {
 >x == "1" : boolean
 >x : string
->"1" : string
+>"1" : "1"
 
         break;
     }
     if (x == "1") {
 >x == "1" : boolean
 >x : string
->"1" : string
+>"1" : "1"
 
         break l00;
 >l00 : any
@@ -84,14 +84,14 @@ for (let x in []) {
     if (x == "2") {
 >x == "2" : boolean
 >x : string
->"2" : string
+>"2" : "2"
 
         continue;
     }
     if (x == "2") {
 >x == "2" : boolean
 >x : string
->"2" : string
+>"2" : "2"
 
         continue l00;
 >l00 : any
@@ -123,14 +123,14 @@ for (let x = 0; x < 1; ++x) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break l1;
 >l1 : any
@@ -138,14 +138,14 @@ for (let x = 0; x < 1; ++x) {
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue l1;
 >l1 : any
@@ -157,8 +157,8 @@ l2:
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     let x;
 >x : any
@@ -176,14 +176,14 @@ while (1 === 1) {
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break l2;
 >l2 : any
@@ -191,14 +191,14 @@ while (1 === 1) {
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue l2;
 >l2 : any
@@ -225,14 +225,14 @@ do {
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break l3;
 >l3 : any
@@ -240,22 +240,22 @@ do {
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue l3;
 >l3 : any
     }
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 l4:
 >l4 : any
@@ -286,14 +286,14 @@ for (let y = 0; y < 1; ++y) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break l4;
 >l4 : any
@@ -301,14 +301,14 @@ for (let y = 0; y < 1; ++y) {
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue l4;
 >l4 : any
@@ -346,14 +346,14 @@ for (let x = 0, y = 1; x < 1; ++x) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break l5;
 >l5 : any
@@ -361,14 +361,14 @@ for (let x = 0, y = 1; x < 1; ++x) {
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue l5;
 >l5 : any
@@ -380,8 +380,8 @@ l6:
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     let x, y;
 >x : any
@@ -404,14 +404,14 @@ while (1 === 1) {
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break l6;
 >l6 : any
@@ -419,14 +419,14 @@ while (1 === 1) {
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue l6;
 >l6 : any
@@ -459,14 +459,14 @@ do {
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break l7;
 >l7 : any
@@ -474,22 +474,22 @@ do {
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue l7;
 >l7 : any
     }
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 l8:
 >l8 : any
@@ -524,14 +524,14 @@ for (let y = 0; y < 1; ++y) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break l8;
 >l8 : any
@@ -539,14 +539,14 @@ for (let y = 0; y < 1; ++y) {
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue l8;
 >l8 : any
@@ -574,14 +574,14 @@ for (const x of []) {
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
         break l0_c;
 >l0_c : any
@@ -589,14 +589,14 @@ for (const x of []) {
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
         continue l0_c;
 >l0_c : any
@@ -623,14 +623,14 @@ for (const x in []) {
     if (x == "1") {
 >x == "1" : boolean
 >x : string
->"1" : string
+>"1" : "1"
 
         break;
     }
     if (x == "1") {
 >x == "1" : boolean
 >x : string
->"1" : string
+>"1" : "1"
 
         break l00_c;
 >l00_c : any
@@ -638,14 +638,14 @@ for (const x in []) {
     if (x == "2") {
 >x == "2" : boolean
 >x : string
->"2" : string
+>"2" : "2"
 
         continue;
     }
     if (x == "2") {
 >x == "2" : boolean
 >x : string
->"2" : string
+>"2" : "2"
 
         continue l00_c;
 >l00_c : any
@@ -675,14 +675,14 @@ for (const x = 0; x < 1;) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break l1_c;
 >l1_c : any
@@ -690,14 +690,14 @@ for (const x = 0; x < 1;) {
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue l1_c;
 >l1_c : any
@@ -709,8 +709,8 @@ l2_c:
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     const x = 1;
 >x : number
@@ -729,14 +729,14 @@ while (1 === 1) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break l2_c;
 >l2_c : any
@@ -744,14 +744,14 @@ while (1 === 1) {
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue l2_c;
 >l2_c : any
@@ -779,14 +779,14 @@ do {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break l3_c;
 >l3_c : any
@@ -794,22 +794,22 @@ do {
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue l3_c;
 >l3_c : any
     }
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 l4_c:
 >l4_c : any
@@ -838,14 +838,14 @@ for (const y = 0; y < 1;) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break l4_c;
 >l4_c : any
@@ -853,14 +853,14 @@ for (const y = 0; y < 1;) {
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue l4_c;
 >l4_c : any
@@ -896,14 +896,14 @@ for (const x = 0, y = 1; x < 1;) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break l5_c;
 >l5_c : any
@@ -911,14 +911,14 @@ for (const x = 0, y = 1; x < 1;) {
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue l5_c;
 >l5_c : any
@@ -930,8 +930,8 @@ l6_c:
 
 while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
     const x = 1, y = 1;
 >x : number
@@ -956,14 +956,14 @@ while (1 === 1) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break l6_c;
 >l6_c : any
@@ -971,14 +971,14 @@ while (1 === 1) {
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue l6_c;
 >l6_c : any
@@ -1013,14 +1013,14 @@ do {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break l7_c;
 >l7_c : any
@@ -1028,22 +1028,22 @@ do {
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue l7_c;
 >l7_c : any
     }
 } while (1 === 1)
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
 l8_c:
 >l8_c : any
@@ -1076,14 +1076,14 @@ for (const y = 0; y < 1;) {
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break;
     }
     if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
         break l8_c;
 >l8_c : any
@@ -1091,14 +1091,14 @@ for (const y = 0; y < 1;) {
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue;
     }
     if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
         continue l8_c;
 >l8_c : any

tests/baselines/reference/capturedLetConstInLoop8.types

@@ -55,14 +55,14 @@ function foo() {
                 if (y == 1) {
 >y == 1 : boolean
 >y : number
->1 : number
+>1 : 1
 
                     break;
                 }
                 if (y == 1) {
 >y == 1 : boolean
 >y : number
->1 : number
+>1 : 1
 
                     break l1;
 >l1 : any
@@ -70,7 +70,7 @@ function foo() {
                 if (y == 1) {
 >y == 1 : boolean
 >y : number
->1 : number
+>1 : 1
 
                     break ll1;
 >ll1 : any
@@ -78,7 +78,7 @@ function foo() {
                 if (y == 1) {
 >y == 1 : boolean
 >y : number
->1 : number
+>1 : 1
 
                     continue l0;
 >l0 : any
@@ -87,14 +87,14 @@ function foo() {
                 if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                     continue;
                 }
                 if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                     continue l1;
 >l1 : any
@@ -102,7 +102,7 @@ function foo() {
                 if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                     continue ll1;
 >ll1 : any
@@ -110,7 +110,7 @@ function foo() {
                 if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                     return "123"
 >"123" : string
@@ -118,7 +118,7 @@ function foo() {
                 if (x == 3) {
 >x == 3 : boolean
 >x : number
->3 : number
+>3 : 3
 
                     return;
                 }
@@ -126,14 +126,14 @@ function foo() {
             if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
                 break;
             }
             if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
                 break l1;
 >l1 : any
@@ -141,14 +141,14 @@ function foo() {
             if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                 continue;
             }
             if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                 continue l1;
 >l1 : any
@@ -156,7 +156,7 @@ function foo() {
             if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                 continue l0;
 >l0 : any
@@ -164,7 +164,7 @@ function foo() {
             if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                 return "456";
 >"456" : string
@@ -172,7 +172,7 @@ function foo() {
             if (x == 3) {
 >x == 3 : boolean
 >x : number
->3 : number
+>3 : 3
 
                 return;
             }
@@ -230,14 +230,14 @@ function foo_c() {
                 if (y == 1) {
 >y == 1 : boolean
 >y : number
->1 : number
+>1 : 1
 
                     break;
                 }
                 if (y == 1) {
 >y == 1 : boolean
 >y : number
->1 : number
+>1 : 1
 
                     break l1;
 >l1 : any
@@ -245,7 +245,7 @@ function foo_c() {
                 if (y == 1) {
 >y == 1 : boolean
 >y : number
->1 : number
+>1 : 1
 
                     break ll1;
 >ll1 : any
@@ -253,7 +253,7 @@ function foo_c() {
                 if (y == 1) {
 >y == 1 : boolean
 >y : number
->1 : number
+>1 : 1
 
                     continue l0;
 >l0 : any
@@ -262,14 +262,14 @@ function foo_c() {
                 if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                     continue;
                 }
                 if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                     continue l1;
 >l1 : any
@@ -277,7 +277,7 @@ function foo_c() {
                 if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                     continue ll1;
 >ll1 : any
@@ -285,7 +285,7 @@ function foo_c() {
                 if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                     return "123"
 >"123" : string
@@ -293,7 +293,7 @@ function foo_c() {
                 if (x == 3) {
 >x == 3 : boolean
 >x : number
->3 : number
+>3 : 3
 
                     return;
                 }
@@ -301,14 +301,14 @@ function foo_c() {
             if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
                 break;
             }
             if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
                 break l1;
 >l1 : any
@@ -316,14 +316,14 @@ function foo_c() {
             if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                 continue;
             }
             if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                 continue l1;
 >l1 : any
@@ -331,7 +331,7 @@ function foo_c() {
             if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                 continue l0;
 >l0 : any
@@ -339,7 +339,7 @@ function foo_c() {
             if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                 return "456";
 >"456" : string
@@ -347,7 +347,7 @@ function foo_c() {
             if (x == 3) {
 >x == 3 : boolean
 >x : number
->3 : number
+>3 : 3
 
                 return;
             }

tests/baselines/reference/capturedLetConstInLoop8_ES6.types

@@ -55,14 +55,14 @@ function foo() {
                 if (y == 1) {
 >y == 1 : boolean
 >y : number
->1 : number
+>1 : 1
 
                     break;
                 }
                 if (y == 1) {
 >y == 1 : boolean
 >y : number
->1 : number
+>1 : 1
 
                     break l1;
 >l1 : any
@@ -70,7 +70,7 @@ function foo() {
                 if (y == 1) {
 >y == 1 : boolean
 >y : number
->1 : number
+>1 : 1
 
                     break ll1;
 >ll1 : any
@@ -78,7 +78,7 @@ function foo() {
                 if (y == 1) {
 >y == 1 : boolean
 >y : number
->1 : number
+>1 : 1
 
                     continue l0;
 >l0 : any
@@ -87,14 +87,14 @@ function foo() {
                 if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                     continue;
                 }
                 if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                     continue l1;
 >l1 : any
@@ -102,7 +102,7 @@ function foo() {
                 if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                     continue ll1;
 >ll1 : any
@@ -110,7 +110,7 @@ function foo() {
                 if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                     return "123"
 >"123" : string
@@ -118,7 +118,7 @@ function foo() {
                 if (x == 3) {
 >x == 3 : boolean
 >x : number
->3 : number
+>3 : 3
 
                     return;
                 }
@@ -126,14 +126,14 @@ function foo() {
             if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
                 break;
             }
             if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
                 break l1;
 >l1 : any
@@ -141,14 +141,14 @@ function foo() {
             if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                 continue;
             }
             if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                 continue l1;
 >l1 : any
@@ -156,7 +156,7 @@ function foo() {
             if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                 continue l0;
 >l0 : any
@@ -164,7 +164,7 @@ function foo() {
             if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                 return "456";
 >"456" : string
@@ -172,7 +172,7 @@ function foo() {
             if (x == 3) {
 >x == 3 : boolean
 >x : number
->3 : number
+>3 : 3
 
                 return;
             }
@@ -230,14 +230,14 @@ function foo_c() {
                 if (y == 1) {
 >y == 1 : boolean
 >y : number
->1 : number
+>1 : 1
 
                     break;
                 }
                 if (y == 1) {
 >y == 1 : boolean
 >y : number
->1 : number
+>1 : 1
 
                     break l1;
 >l1 : any
@@ -245,7 +245,7 @@ function foo_c() {
                 if (y == 1) {
 >y == 1 : boolean
 >y : number
->1 : number
+>1 : 1
 
                     break ll1;
 >ll1 : any
@@ -253,7 +253,7 @@ function foo_c() {
                 if (y == 1) {
 >y == 1 : boolean
 >y : number
->1 : number
+>1 : 1
 
                     continue l0;
 >l0 : any
@@ -262,14 +262,14 @@ function foo_c() {
                 if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                     continue;
                 }
                 if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                     continue l1;
 >l1 : any
@@ -277,7 +277,7 @@ function foo_c() {
                 if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                     continue ll1;
 >ll1 : any
@@ -285,7 +285,7 @@ function foo_c() {
                 if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                     return "123"
 >"123" : string
@@ -293,7 +293,7 @@ function foo_c() {
                 if (x == 3) {
 >x == 3 : boolean
 >x : number
->3 : number
+>3 : 3
 
                     return;
                 }
@@ -301,14 +301,14 @@ function foo_c() {
             if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
                 break;
             }
             if (x == 1) {
 >x == 1 : boolean
 >x : number
->1 : number
+>1 : 1
 
                 break l1;
 >l1 : any
@@ -316,14 +316,14 @@ function foo_c() {
             if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                 continue;
             }
             if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                 continue l1;
 >l1 : any
@@ -331,7 +331,7 @@ function foo_c() {
             if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                 continue l0;
 >l0 : any
@@ -339,7 +339,7 @@ function foo_c() {
             if (x == 2) {
 >x == 2 : boolean
 >x : number
->2 : number
+>2 : 2
 
                 return "456";
 >"456" : string
@@ -347,7 +347,7 @@ function foo_c() {
             if (x == 3) {
 >x == 3 : boolean
 >x : number
->3 : number
+>3 : 3
 
                 return;
             }

tests/baselines/reference/capturedLetConstInLoop9.types

@@ -42,7 +42,7 @@ for (let x = 0; x < 1; ++x) {
 >x : any
 
         case 1:
->1 : number
+>1 : 1
 
             let x;
 >x : any
@@ -57,8 +57,8 @@ for (let x = 0; x < 1; ++x) {
     
     while (1 == 1) {
 >1 == 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
         let x;
 >x : any
@@ -100,7 +100,7 @@ function foo() {
         if (a === 1) {
 >a === 1 : boolean
 >a : any
->1 : number
+>1 : 1
 
             break;
         }
@@ -108,7 +108,7 @@ function foo() {
         if (a === 2) {
 >a === 2 : boolean
 >a : any
->2 : number
+>2 : 2
 
             break l0;
 >l0 : any
@@ -132,7 +132,7 @@ function foo() {
             if (b === 1) {
 >b === 1 : boolean
 >b : any
->1 : number
+>1 : 1
 
                 break;
             }
@@ -141,7 +141,7 @@ function foo() {
             if (b === 2) {
 >b === 2 : boolean
 >b : any
->2 : number
+>2 : 2
 
                 break l0;
 >l0 : any
@@ -153,7 +153,7 @@ function foo() {
             if (b === 3) {
 >b === 3 : boolean
 >b : any
->3 : number
+>3 : 3
 
                 break l1;
 >l1 : any
@@ -183,7 +183,7 @@ function foo() {
             if (b === 1) {
 >b === 1 : boolean
 >b : any
->1 : number
+>1 : 1
 
                 break;
             }
@@ -191,7 +191,7 @@ function foo() {
             if (b === 2) {
 >b === 2 : boolean
 >b : any
->2 : number
+>2 : 2
 
                 break l0;
 >l0 : any
@@ -242,22 +242,22 @@ function foo2() {
         if (x === 1) {
 >x === 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
             break;
         }
         else if (x === 2) {
 >x === 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
             continue;
         }
         
         while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
             if (x) {
 >x : any
@@ -273,10 +273,10 @@ function foo2() {
 >x : any
 
             case 1: break;
->1 : number
+>1 : 1
 
             case 2: continue;
->2 : number
+>2 : 2
         }
         
         for (let y of []) {
@@ -287,10 +287,10 @@ function foo2() {
 >y : any
 
                 case 1: break;
->1 : number
+>1 : 1
 
                 case 2: continue;
->2 : number
+>2 : 2
             }
         }
     }

tests/baselines/reference/capturedLetConstInLoop9_ES6.types

@@ -43,7 +43,7 @@ for (let x = 0; x < 1; ++x) {
 >x : any
 
         case 1:
->1 : number
+>1 : 1
 
             let x;
 >x : any
@@ -58,8 +58,8 @@ for (let x = 0; x < 1; ++x) {
     
     while (1 == 1) {
 >1 == 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
         let x;
 >x : any
@@ -101,7 +101,7 @@ function foo() {
         if (a === 1) {
 >a === 1 : boolean
 >a : any
->1 : number
+>1 : 1
 
             break;
         }
@@ -109,7 +109,7 @@ function foo() {
         if (a === 2) {
 >a === 2 : boolean
 >a : any
->2 : number
+>2 : 2
 
             break l0;
 >l0 : any
@@ -133,7 +133,7 @@ function foo() {
             if (b === 1) {
 >b === 1 : boolean
 >b : any
->1 : number
+>1 : 1
 
                 break;
             }
@@ -142,7 +142,7 @@ function foo() {
             if (b === 2) {
 >b === 2 : boolean
 >b : any
->2 : number
+>2 : 2
 
                 break l0;
 >l0 : any
@@ -154,7 +154,7 @@ function foo() {
             if (b === 3) {
 >b === 3 : boolean
 >b : any
->3 : number
+>3 : 3
 
                 break l1;
 >l1 : any
@@ -184,7 +184,7 @@ function foo() {
             if (b === 1) {
 >b === 1 : boolean
 >b : any
->1 : number
+>1 : 1
 
                 break;
             }
@@ -192,7 +192,7 @@ function foo() {
             if (b === 2) {
 >b === 2 : boolean
 >b : any
->2 : number
+>2 : 2
 
                 break l0;
 >l0 : any
@@ -242,22 +242,22 @@ function foo2() {
         if (x === 1) {
 >x === 1 : boolean
 >x : any
->1 : number
+>1 : 1
 
             break;
         }
         else if (x === 2) {
 >x === 2 : boolean
 >x : any
->2 : number
+>2 : 2
 
             continue;
         }
         
         while (1 === 1) {
 >1 === 1 : boolean
->1 : number
->1 : number
+>1 : 1
+>1 : 1
 
             if (x) {
 >x : any
@@ -273,10 +273,10 @@ function foo2() {
 >x : any
 
             case 1: break;
->1 : number
+>1 : 1
 
             case 2: continue;
->2 : number
+>2 : 2
         }
         
         for (let y of []) {
@@ -287,10 +287,10 @@ function foo2() {
 >y : any
 
                 case 1: break;
->1 : number
+>1 : 1
 
                 case 2: continue;
->2 : number
+>2 : 2
             }
         }
     }

tests/baselines/reference/checkSwitchStatementIfCaseTypeIsString.types

@@ -23,7 +23,7 @@ class A {
 >v : string
 
                 case "test": use(this);
->"test" : string
+>"test" : "test"
 >use(this) : void
 >use : (a: any) => void
 >this : this

tests/baselines/reference/classDoesNotDependOnBaseTypes.types

@@ -7,7 +7,7 @@ if (typeof x !== "string") {
 >typeof x !== "string" : boolean
 >typeof x : string
 >x : string | StringTreeCollection
->"string" : string
+>"string" : "string"
 
     x[0] = "";
 >x[0] = "" : string

tests/baselines/reference/comparisonOperatorWithSubtypeEnumAndNumber.types

@@ -227,12 +227,12 @@ var re5 = E.a == 0;
 >E.a : E
 >E : typeof E
 >a : E
->0 : number
+>0 : 0
 
 var re6 = 0 == E.a;
 >re6 : boolean
 >0 == E.a : boolean
->0 : number
+>0 : 0
 >E.a : E
 >E : typeof E
 >a : E
@@ -272,12 +272,12 @@ var rf5 = E.a != 0;
 >E.a : E
 >E : typeof E
 >a : E
->0 : number
+>0 : 0
 
 var rf6 = 0 != E.a;
 >rf6 : boolean
 >0 != E.a : boolean
->0 : number
+>0 : 0
 >E.a : E
 >E : typeof E
 >a : E
@@ -317,12 +317,12 @@ var rg5 = E.a === 0;
 >E.a : E
 >E : typeof E
 >a : E
->0 : number
+>0 : 0
 
 var rg6 = 0 === E.a;
 >rg6 : boolean
 >0 === E.a : boolean
->0 : number
+>0 : 0
 >E.a : E
 >E : typeof E
 >a : E
@@ -362,12 +362,12 @@ var rh5 = E.a !== 0;
 >E.a : E
 >E : typeof E
 >a : E
->0 : number
+>0 : 0
 
 var rh6 = 0 !== E.a;
 >rh6 : boolean
 >0 !== E.a : boolean
->0 : number
+>0 : 0
 >E.a : E
 >E : typeof E
 >a : E

tests/baselines/reference/conditionalOperatorConditionIsBooleanType.types

@@ -122,7 +122,7 @@ typeof "123" == "string" ? exprBoolean1 : exprBoolean2;
 >typeof "123" == "string" : boolean
 >typeof "123" : string
 >"123" : string
->"string" : string
+>"string" : "string"
 >exprBoolean1 : boolean
 >exprBoolean2 : boolean
 
@@ -264,7 +264,7 @@ var resultIsBoolean3 = typeof "123" == "string" ? exprBoolean1 : exprBoolean2;
 >typeof "123" == "string" : boolean
 >typeof "123" : string
 >"123" : string
->"string" : string
+>"string" : "string"
 >exprBoolean1 : boolean
 >exprBoolean2 : boolean
 
@@ -301,7 +301,7 @@ var resultIsStringOrBoolean4 = typeof "123" === "string" ? exprString1 : exprBoo
 >typeof "123" === "string" : boolean
 >typeof "123" : string
 >"123" : string
->"string" : string
+>"string" : "string"
 >exprString1 : string
 >exprBoolean1 : boolean
 

tests/baselines/reference/constLocalsInFunctionExpressions.types

@@ -14,7 +14,7 @@ function f1() {
 >typeof x === "string" : boolean
 >typeof x : string
 >x : string | number
->"string" : string
+>"string" : "string"
 
         const f = () => x.length;
 >f : () => number
@@ -37,7 +37,7 @@ function f2() {
 >typeof x !== "string" : boolean
 >typeof x : string
 >x : string | number
->"string" : string
+>"string" : "string"
 
         return;
     }
@@ -61,7 +61,7 @@ function f3() {
 >typeof x === "string" : boolean
 >typeof x : string
 >x : string | number
->"string" : string
+>"string" : "string"
 
         const f = function() { return x.length; };
 >f : () => number
@@ -84,7 +84,7 @@ function f4() {
 >typeof x !== "string" : boolean
 >typeof x : string
 >x : string | number
->"string" : string
+>"string" : "string"
 
         return;
     }
@@ -108,7 +108,7 @@ function f5() {
 >typeof x === "string" : boolean
 >typeof x : string
 >x : string | number
->"string" : string
+>"string" : "string"
 
         const f = () => () => x.length;
 >f : () => () => number

tests/baselines/reference/continueInLoopsWithCapturedBlockScopedBindings1.types

@@ -11,7 +11,7 @@ function foo() {
         if (i === 0) {
 >i === 0 : boolean
 >i : number
->0 : number
+>0 : 0
 
             continue;
         }

tests/baselines/reference/controlFlowCaching.types

@@ -43,7 +43,7 @@ function f(dim, offsets, arr, acommon, centerAnchorLimit, g, has, lin) {
 >leftBottom : boolean
 >position !== "rightOrTop" : boolean
 >position : any
->"rightOrTop" : string
+>"rightOrTop" : "rightOrTop"
 >rotation : number
 >o.rotation % 360 : number
 >o.rotation : any
@@ -180,7 +180,7 @@ function f(dim, offsets, arr, acommon, centerAnchorLimit, g, has, lin) {
 >o.titleGap : any
 >o : any
 >titleGap : any
->0 : number
+>0 : 0
 >0 : number
 >o.titleGap || (ta.title && ta.title.gap) || 15 : any
 >o.titleGap || (ta.title && ta.title.gap) : any
@@ -545,7 +545,7 @@ function f(dim, offsets, arr, acommon, centerAnchorLimit, g, has, lin) {
 >taTitleOrientation : any
 >taTitleOrientation == "away" : boolean
 >taTitleOrientation : any
->"away" : string
+>"away" : "away"
 >180 : number
 >0 : number
 
@@ -570,7 +570,7 @@ function f(dim, offsets, arr, acommon, centerAnchorLimit, g, has, lin) {
 >labelAlign : any
 
         case "start":
->"start" : string
+>"start" : "start"
 
             labelAlign = "end";
 >labelAlign = "end" : string
@@ -579,7 +579,7 @@ function f(dim, offsets, arr, acommon, centerAnchorLimit, g, has, lin) {
 
             break;
         case "end":
->"end" : string
+>"end" : "end"
 
             labelAlign = "start";
 >labelAlign = "start" : string
@@ -588,7 +588,7 @@ function f(dim, offsets, arr, acommon, centerAnchorLimit, g, has, lin) {
 
             break;
         case "middle":
->"middle" : string
+>"middle" : "middle"
 
             labelOffset.y -= size;
 >labelOffset.y -= size : number

tests/baselines/reference/controlFlowCommaOperator.types

@@ -19,7 +19,7 @@ function f(x: string | number | boolean) {
 >typeof x === "string" : boolean
 >typeof x : string
 >x : string | number | boolean
->"string" : string
+>"string" : "string"
 
         x; // string
 >x : string
@@ -38,7 +38,7 @@ function f(x: string | number | boolean) {
 >typeof x === "number" : boolean
 >typeof x : string
 >x : number | boolean
->"number" : string
+>"number" : "number"
 
         x; // number
 >x : number

tests/baselines/reference/controlFlowDoWhileStatement.types

@@ -68,7 +68,7 @@ function c() {
 >typeof x === "string" : boolean
 >typeof x : string
 >x : string | number
->"string" : string
+>"string" : "string"
 
         break;
     } while (cond)

tests/baselines/reference/controlFlowForStatement.types

@@ -84,7 +84,7 @@ function d() {
 >typeof x === "string" : boolean
 >typeof x : string
 >x : string | number
->"string" : string
+>"string" : "string"
 >x = 5 : number
 >x : string | number | boolean
 >5 : number
@@ -109,7 +109,7 @@ function e() {
 >typeof x !== "string" : boolean
 >typeof x : string
 >x : string | number | boolean
->"string" : string
+>"string" : "string"
 >x = "" || true : string | boolean
 >x : string | number | boolean | RegExp
 >"" || true : string | boolean
@@ -130,7 +130,7 @@ function f() {
 >typeof x !== "string" : boolean
 >typeof x : string
 >x : string | number | boolean
->"string" : string
+>"string" : "string"
 
         x; // number | boolean
 >x : number | boolean
@@ -139,7 +139,7 @@ function f() {
 >typeof x === "number" : boolean
 >typeof x : string
 >x : number | boolean
->"number" : string
+>"number" : "number"
 
         x = undefined;
 >x = undefined : undefined

tests/baselines/reference/controlFlowIIFE.types

@@ -15,7 +15,7 @@ function f1() {
 >typeof x === "string" : boolean
 >typeof x : string
 >x : string | number
->"string" : string
+>"string" : "string"
 
         let n = function() {
 >n : number
@@ -43,7 +43,7 @@ function f2() {
 >typeof x === "string" : boolean
 >typeof x : string
 >x : string | number
->"string" : string
+>"string" : "string"
 
         let n = (function() {
 >n : number
@@ -75,7 +75,7 @@ function f3() {
 >typeof x === "string" : boolean
 >typeof x : string
 >x : string | number
->"string" : string
+>"string" : "string"
 
         let n = (z => x.length + y + z)(y = 1);
 >n : number

tests/baselines/reference/controlFlowPropertyDeclarations.types

@@ -62,7 +62,7 @@ function repeatString(string, times) {
   if (times === 1) {
 >times === 1 : boolean
 >times : any
->1 : number
+>1 : 1
 
     return string;
 >string : any
@@ -269,10 +269,10 @@ export class HTMLtoJSX {
 >parentTag === 'textarea' || parentTag === 'style' : boolean
 >parentTag === 'textarea' : boolean
 >parentTag : any
->'textarea' : string
+>'textarea' : "textarea"
 >parentTag === 'style' : boolean
 >parentTag : any
->'style' : string
+>'style' : "style"
 
       // Ignore text content of textareas and styles, as it will have already been moved
       // to a "defaultValue" attribute and "dangerouslySetInnerHTML" attribute respectively.

tests/baselines/reference/controlFlowWhileStatement.types

@@ -71,7 +71,7 @@ function c() {
 >typeof x === "string" : boolean
 >typeof x : string
 >x : string | number
->"string" : string
+>"string" : "string"
 
         break;
     }

tests/baselines/reference/declFileTypeAnnotationStringLiteral.types

@@ -19,7 +19,7 @@ function foo(a: string): string | number {
     if (a === "hello") {
 >a === "hello" : boolean
 >a : string
->"hello" : string
+>"hello" : "hello"
 
         return a.length;
 >a.length : number

tests/baselines/reference/declarationEmitIdentifierPredicates01.types

@@ -9,5 +9,5 @@ export function f(x: any): x is number {
 >typeof x === "number" : boolean
 >typeof x : string
 >x : any
->"number" : string
+>"number" : "number"
 }

tests/baselines/reference/decoratorInstantiateModulesInFunctionBodies.types

@@ -31,7 +31,7 @@ class Wat {
 >() => test == 'abc' : () => boolean
 >test == 'abc' : boolean
 >test : string
->'abc' : string
+>'abc' : "abc"
 
     static whatever() {
 >whatever : () => void

tests/baselines/reference/emptyThenWithoutWarning.types

@@ -8,13 +8,13 @@ if(a === 1 || a === 2 || a === 3) {
 >a === 1 || a === 2 : boolean
 >a === 1 : boolean
 >a : number
->1 : number
+>1 : 1
 >a === 2 : boolean
 >a : number
->2 : number
+>2 : 2
 >a === 3 : boolean
 >a : number
->3 : number
+>3 : 3
 }
 else {
     let message = "Ooops";

tests/baselines/reference/es3defaultAliasIsQuoted.types

@@ -33,5 +33,5 @@ assert(Foo.CONSTANT === "Foo");
 >Foo.CONSTANT : string
 >Foo : typeof Foo
 >CONSTANT : string
->"Foo" : string
+>"Foo" : "Foo"
 

tests/baselines/reference/exportAssignmentTopLevelClodule.types

@@ -7,7 +7,7 @@ if(foo.answer === 42){
 >foo.answer : number
 >foo : typeof foo
 >answer : number
->42 : number
+>42 : 42
 
 	var x = new foo();
 >x : foo

tests/baselines/reference/exportAssignmentTopLevelFundule.types

@@ -7,7 +7,7 @@ if(foo.answer === 42){
 >foo.answer : number
 >foo : typeof foo
 >answer : number
->42 : number
+>42 : 42
 
 	var x = foo();
 >x : string

tests/baselines/reference/exportAssignmentTopLevelIdentifier.types

@@ -7,7 +7,7 @@ if(foo.answer === 42){
 >foo.answer : number
 >foo : typeof foo
 >answer : number
->42 : number
+>42 : 42
 
 }
 

tests/baselines/reference/fallFromLastCase1.types

@@ -12,7 +12,7 @@ function foo1(a: number) {
 >a : number
 
         case 1:
->1 : number
+>1 : 1
 
             use("1");
 >use("1") : any
@@ -21,7 +21,7 @@ function foo1(a: number) {
 
             break;
         case 2:
->2 : number
+>2 : 2
 
             use("2");
 >use("2") : any
@@ -39,7 +39,7 @@ function foo2(a: number) {
 >a : number
 
         case 1:
->1 : number
+>1 : 1
 
             use("1");
 >use("1") : any

tests/baselines/reference/fatarrowfunctions.types

@@ -208,7 +208,7 @@ function ternaryTest(isWhile:boolean) {
 >n : any
 >n === 0 : boolean
 >n : any
->0 : number
+>0 : 0
 
 }
 

tests/baselines/reference/genericArrayPropertyAssignment.types

@@ -9,7 +9,7 @@ return list.length ===0;
 >list.length : number
 >list : { length: number; }
 >length : number
->0 : number
+>0 : 0
 }
  
 isEmpty([]); // error

tests/baselines/reference/implicitAnyInCatch.types

@@ -8,7 +8,7 @@ try { } catch (error) {
 >error.number : any
 >error : any
 >number : any
->-2147024809 : number
+>-2147024809 : -2147024809
 >2147024809 : number
 }
 for (var key in this) { }

tests/baselines/reference/interfaceDoesNotDependOnBaseTypes.types

@@ -7,7 +7,7 @@ if (typeof x !== "string") {
 >typeof x !== "string" : boolean
 >typeof x : string
 >x : string | StringTreeArray
->"string" : string
+>"string" : "string"
 
     x.push("");
 >x.push("") : number

tests/baselines/reference/invalidSwitchBreakStatement.types

@@ -5,7 +5,7 @@ switch (12) {
 >12 : number
 
     case 5:
->5 : number
+>5 : 5
 
         break;
 }

tests/baselines/reference/jsFileCompilationRestParamJsDocFunction.types

@@ -26,7 +26,7 @@ function apply(func, thisArg, args) {
 >length : number
 
         case 0: return func.call(thisArg);
->0 : number
+>0 : 0
 >func.call(thisArg) : any
 >func.call : (this: Function, thisArg: any, ...argArray: any[]) => any
 >func : Function
@@ -34,7 +34,7 @@ function apply(func, thisArg, args) {
 >thisArg : any
 
         case 1: return func.call(thisArg, args[0]);
->1 : number
+>1 : 1
 >func.call(thisArg, args[0]) : any
 >func.call : (this: Function, thisArg: any, ...argArray: any[]) => any
 >func : Function
@@ -45,7 +45,7 @@ function apply(func, thisArg, args) {
 >0 : number
 
         case 2: return func.call(thisArg, args[0], args[1]);
->2 : number
+>2 : 2
 >func.call(thisArg, args[0], args[1]) : any
 >func.call : (this: Function, thisArg: any, ...argArray: any[]) => any
 >func : Function
@@ -59,7 +59,7 @@ function apply(func, thisArg, args) {
 >1 : number
 
         case 3: return func.call(thisArg, args[0], args[1], args[2]);
->3 : number
+>3 : 3
 >func.call(thisArg, args[0], args[1], args[2]) : any
 >func.call : (this: Function, thisArg: any, ...argArray: any[]) => any
 >func : Function

tests/baselines/reference/memberAccessOnConstructorType.types

@@ -7,5 +7,5 @@ f.arguments == 0;
 >f.arguments : any
 >f : new () => void
 >arguments : any
->0 : number
+>0 : 0
 

tests/baselines/reference/nestedBlockScopedBindings1.types

@@ -50,7 +50,7 @@ function a3() {
 >1 : number
 
         case 1:
->1 : number
+>1 : 1
 
             let x;
 >x : any
@@ -70,7 +70,7 @@ function a4() {
 >1 : number
 
         case 1:
->1 : number
+>1 : 1
 
             let x = 1;
 >x : number

tests/baselines/reference/nestedBlockScopedBindings10.types

@@ -13,7 +13,7 @@ switch (1) {
 >1 : number
 
     case 1:
->1 : number
+>1 : 1
 
         let y;
 >y : any

tests/baselines/reference/nestedBlockScopedBindings11.types

@@ -17,7 +17,7 @@ switch (1) {
 >1 : number
 
     case 1:
->1 : number
+>1 : 1
 
         let y;
 >y : any

tests/baselines/reference/nestedBlockScopedBindings12.types

@@ -18,7 +18,7 @@ switch (1) {
 >1 : number
 
     case 1:
->1 : number
+>1 : 1
 
         let y;
 >y : any

tests/baselines/reference/nestedBlockScopedBindings2.types

@@ -71,7 +71,7 @@ function a3() {
 >1 : number
 
         case 1:
->1 : number
+>1 : 1
 
             let x;
 >x : any
@@ -95,7 +95,7 @@ function a4() {
 >1 : number
 
         case 1:
->1 : number
+>1 : 1
 
             let x;
 >x : any
@@ -123,7 +123,7 @@ function a5() {
 >1 : number
 
         case 1:
->1 : number
+>1 : 1
 
             let x;
 >x : any
@@ -139,7 +139,7 @@ function a6() {
 >1 : number
 
         case 1:
->1 : number
+>1 : 1
 
             let x;
 >x : any
@@ -150,7 +150,7 @@ function a6() {
 >1 : number
 
         case 1:
->1 : number
+>1 : 1
 
             let x;
 >x : any
@@ -166,7 +166,7 @@ function a7() {
 >1 : number
 
         case 1:
->1 : number
+>1 : 1
 
             let x;
 >x : any
@@ -181,7 +181,7 @@ function a7() {
 >1 : number
 
         case 1:
->1 : number
+>1 : 1
 
             let x;
 >x : any
@@ -197,7 +197,7 @@ function a8() {
 >1 : number
 
         case 1:
->1 : number
+>1 : 1
 
             let x;
 >x : any
@@ -208,7 +208,7 @@ function a8() {
 >1 : number
 
         case 1:
->1 : number
+>1 : 1
 
             let x;
 >x : any
@@ -228,7 +228,7 @@ function a9() {
 >1 : number
 
         case 1:
->1 : number
+>1 : 1
 
             let x;
 >x : any
@@ -243,7 +243,7 @@ function a9() {
 >1 : number
 
         case 1:
->1 : number
+>1 : 1
 
             let x;
 >x : any

tests/baselines/reference/nestedBlockScopedBindings3.types

@@ -96,7 +96,7 @@ function a3() {
 >1 : number
 
         case 1:
->1 : number
+>1 : 1
 
             let x;
 >x : any
@@ -129,7 +129,7 @@ function a4() {
 >1 : number
 
         case 1:
->1 : number
+>1 : 1
 
             let x;
 >x : any
@@ -163,7 +163,7 @@ function a5() {
 >1 : number
 
         case 1:
->1 : number
+>1 : 1
 
             let x;
 >x : any

tests/baselines/reference/nestedBlockScopedBindings6.types

@@ -146,7 +146,7 @@ function a4() {
 >1 : number
 
         case 1:
->1 : number
+>1 : 1
 
             let x;
 >x : any
@@ -175,7 +175,7 @@ function a5() {
 >1 : number
 
         case 1:
->1 : number
+>1 : 1
 
             let x;
 >x : any
@@ -207,7 +207,7 @@ function a6() {
 >1 : number
 
         case 1:
->1 : number
+>1 : 1
 
             let x;
 >x : any
@@ -239,7 +239,7 @@ function a7() {
 >1 : number
 
         case 1:
->1 : number
+>1 : 1
 
             let x;
 >x : any

tests/baselines/reference/nestedBlockScopedBindings9.types

@@ -12,7 +12,7 @@ switch (1) {
 >1 : number
 
     case 1:
->1 : number
+>1 : 1
 
         let y;
 >y : any

tests/baselines/reference/neverType.types

@@ -70,13 +70,13 @@ function move1(direction: "up" | "down") {
 >direction : "up" | "down"
 
         case "up":
->"up" : string
+>"up" : "up"
 
             return 1;
 >1 : number
 
         case "down":
->"down" : string
+>"down" : "down"
 
             return -1; 
 >-1 : number
@@ -96,14 +96,14 @@ function move2(direction: "up" | "down") {
 >direction === "up" ? 1 :        direction === "down" ? -1 :        error("Should never get here") : number
 >direction === "up" : boolean
 >direction : "up" | "down"
->"up" : string
+>"up" : "up"
 >1 : number
 
         direction === "down" ? -1 :
 >direction === "down" ? -1 :        error("Should never get here") : number
 >direction === "down" : boolean
 >direction : "up" | "down"
->"down" : string
+>"down" : "down"
 >-1 : number
 >1 : number
 
@@ -166,7 +166,7 @@ function f1(x: string | number) {
 >typeof x === "boolean" : boolean
 >typeof x : string
 >x : string | number
->"boolean" : string
+>"boolean" : "boolean"
 
         x;  // never
 >x : never
@@ -184,7 +184,7 @@ function f2(x: string | number) {
 >typeof x === "boolean" : boolean
 >typeof x : string
 >x : string | number
->"boolean" : string
+>"boolean" : "boolean"
 
             return x;  // never
 >x : never

tests/baselines/reference/noImplicitReturnsInAsync1.types

@@ -8,7 +8,7 @@ async function test(isError: boolean = false) {
     if (isError === true) {
 >isError === true : boolean
 >isError : boolean
->true : boolean
+>true : true
 
         return;
     }

tests/baselines/reference/objectLiteralArraySpecialization.types

@@ -52,5 +52,5 @@ thing.doSomething((x, y) => x.name === "bob"); // should not error
 >x.name : string
 >x : { name: string; id: number; }
 >name : string
->"bob" : string
+>"bob" : "bob"
 

tests/baselines/reference/operatorsAndIntersectionTypes.types

@@ -110,7 +110,7 @@ const b1 = guid === "";
 >b1 : boolean
 >guid === "" : boolean
 >guid : string & { $Guid: any; }
->"" : string
+>"" : ""
 
 const b2 = guid === guid;
 >b2 : boolean
@@ -122,7 +122,7 @@ const b3 = serialNo === 0;
 >b3 : boolean
 >serialNo === 0 : boolean
 >serialNo : number & { $SerialNo: any; }
->0 : number
+>0 : 0
 
 const b4 = serialNo === serialNo;
 >b4 : boolean

tests/baselines/reference/overloadResolutionOverNonCTLambdas.types

@@ -36,7 +36,7 @@ module Bugs {
 >args[index] : any
 >args : any[]
 >index : any
->'undefined' : string
+>'undefined' : "undefined"
 
         ? args[index]
 >args[index] : any

tests/baselines/reference/overloadReturnTypes.types

@@ -28,7 +28,7 @@ function attr(nameOrMap: any, value?: string): any {
 >typeof nameOrMap === "object" : boolean
 >typeof nameOrMap : string
 >nameOrMap : any
->"object" : string
+>"object" : "object"
 
         // handle map case
         return new Accessor;

tests/baselines/reference/reachabilityCheckWithEmptyDefault.types

@@ -11,7 +11,7 @@ function foo(x: any) {
 >x : any
 
 		case 1: return;
->1 : number
+>1 : 1
 
 		default:
 	}

tests/baselines/reference/recursiveReturns.types

@@ -21,7 +21,7 @@ function R3(n:number) {
 	if (n == 0) {
 >n == 0 : boolean
 >n : number
->0 : number
+>0 : 0
 
 		//return;
 	}

tests/baselines/reference/sourceMap-Comments.types

@@ -17,17 +17,17 @@ module sas.tools {
 >f : number
 
                 case 1:
->1 : number
+>1 : 1
 
                     break;
                 case 2:
->2 : number
+>2 : 2
 
                     //line comment 1
                     //line comment 2
                     break;
                 case 3:
->3 : number
+>3 : 3
 
                     //a comment
                     break;

tests/baselines/reference/sourceMapValidationIfElse.types

@@ -6,7 +6,7 @@ var i = 10;
 if (i == 10) {
 >i == 10 : boolean
 >i : number
->10 : number
+>10 : 10
 
     i++;
 >i++ : number
@@ -18,7 +18,7 @@ if (i == 10) {
 if (i == 10)
 >i == 10 : boolean
 >i : number
->10 : number
+>10 : 10
 {
     i++;
 >i++ : number
@@ -27,7 +27,7 @@ if (i == 10)
 else if (i == 20) {
 >i == 20 : boolean
 >i : number
->20 : number
+>20 : 20
 
     i--;
 >i-- : number
@@ -36,7 +36,7 @@ else if (i == 20) {
 } else if (i == 30) {
 >i == 30 : boolean
 >i : number
->30 : number
+>30 : 30
 
     i += 70;
 >i += 70 : number

tests/baselines/reference/sourceMapValidationSwitch.types

@@ -7,7 +7,7 @@ switch (x) {
 >x : number
 
     case 5:
->5 : number
+>5 : 5
 
         x++;
 >x++ : number
@@ -15,7 +15,7 @@ switch (x) {
 
         break;
     case 10:
->10 : number
+>10 : 10
         {
             x--;
 >x-- : number
@@ -35,7 +35,7 @@ switch (x)
 >x : number
 {
     case 5:
->5 : number
+>5 : 5
 
         x++;
 >x++ : number
@@ -43,7 +43,7 @@ switch (x)
 
         break;
     case 10:
->10 : number
+>10 : 10
         {
             x--;
 >x-- : number

tests/baselines/reference/sourceMapValidationWhile.types

@@ -6,7 +6,7 @@ var a = 10;
 while (a == 10) {
 >a == 10 : boolean
 >a : number
->10 : number
+>10 : 10
 
     a++;
 >a++ : number
@@ -15,7 +15,7 @@ while (a == 10) {
 while (a == 10)
 >a == 10 : boolean
 >a : number
->10 : number
+>10 : 10
 {
     a++;
 >a++ : number

tests/baselines/reference/staticAnonymousTypeNotReferencingTypeParameter.types

@@ -241,7 +241,7 @@ class ListWrapper {
 >array.length : number
 >array : T[]
 >length : number
->0 : number
+>0 : 0
 >null : null
 
     return array[array.length - 1];
@@ -288,7 +288,7 @@ class ListWrapper {
 >list : T[]
 >indexOf : (searchElement: T, fromIndex?: number) => number
 >el : T
->-1 : number
+>-1 : -1
 >1 : number
 
   static reversed<T>(dit: typeof ListWrapper, array: T[]): T[] {
@@ -496,7 +496,7 @@ class ListWrapper {
 >list.length : number
 >list : any[]
 >length : number
->0 : number
+>0 : 0
 
   static fill(dit: typeof ListWrapper, list: any[], value: any, start: number = 0, end: number = null) {
 >fill : (dit: typeof ListWrapper, list: any[], value: any, start?: number, end?: number) => void
@@ -684,7 +684,7 @@ class ListWrapper {
 >list.length : number
 >list : T[]
 >length : number
->0 : number
+>0 : 0
 
       return null;
 >null : null

tests/baselines/reference/stringLiteralCheckedInIf01.types

@@ -16,7 +16,7 @@ function f(foo: T) {
     if (foo === "a") {
 >foo === "a" : boolean
 >foo : ("a" | "b")[] | "a" | "b"
->"a" : string
+>"a" : "a"
 
         return foo;
 >foo : ("a" | "b")[] | "a" | "b"
@@ -24,7 +24,7 @@ function f(foo: T) {
     else if (foo === "b") {
 >foo === "b" : boolean
 >foo : ("a" | "b")[] | "a" | "b"
->"b" : string
+>"b" : "b"
 
         return foo;
 >foo : ("a" | "b")[] | "a" | "b"

tests/baselines/reference/stringLiteralCheckedInIf02.types

@@ -19,10 +19,10 @@ function isS(t: T): t is S {
 >t === "a" || t === "b" : boolean
 >t === "a" : boolean
 >t : ("a" | "b")[] | "a" | "b"
->"a" : string
+>"a" : "a"
 >t === "b" : boolean
 >t : ("a" | "b")[] | "a" | "b"
->"b" : string
+>"b" : "b"
 }
 
 function f(foo: T) {

tests/baselines/reference/stringLiteralMatchedInSwitch01.types

@@ -16,10 +16,10 @@ switch (foo) {
 >foo : ("a" | "b")[] | "a" | "b"
 
     case "a":
->"a" : string
+>"a" : "a"
 
     case "b":
->"b" : string
+>"b" : "b"
 
         break;
     default:

tests/baselines/reference/stringLiteralTypesAndTuples01.types

@@ -38,7 +38,7 @@ function rawr(dino: RexOrRaptor) {
     if (dino === "t-rex") {
 >dino === "t-rex" : boolean
 >dino : "t-rex" | "raptor"
->"t-rex" : string
+>"t-rex" : "t-rex"
 
         return "ROAAAAR!";
 >"ROAAAAR!" : string
@@ -46,7 +46,7 @@ function rawr(dino: RexOrRaptor) {
     if (dino === "raptor") {
 >dino === "raptor" : boolean
 >dino : "t-rex" | "raptor"
->"raptor" : string
+>"raptor" : "raptor"
 
         return "yip yip!";
 >"yip yip!" : string

tests/baselines/reference/stringLiteralTypesInUnionTypes01.types

@@ -15,7 +15,7 @@ var y: T = undefined;
 if (x === "foo") {
 >x === "foo" : boolean
 >x : "foo" | "bar" | "baz"
->"foo" : string
+>"foo" : "foo"
 
     let a = x;
 >a : "foo" | "bar" | "baz"
@@ -24,7 +24,7 @@ if (x === "foo") {
 else if (x !== "bar") {
 >x !== "bar" : boolean
 >x : "foo" | "bar" | "baz"
->"bar" : string
+>"bar" : "bar"
 
     let b = x || y;
 >b : "foo" | "bar" | "baz"

tests/baselines/reference/stringLiteralTypesInUnionTypes02.types

@@ -15,7 +15,7 @@ var y: T = undefined;
 if (x === "foo") {
 >x === "foo" : boolean
 >x : string
->"foo" : string
+>"foo" : "foo"
 
     let a = x;
 >a : string
@@ -24,7 +24,7 @@ if (x === "foo") {
 else if (x !== "bar") {
 >x !== "bar" : boolean
 >x : string
->"bar" : string
+>"bar" : "bar"
 
     let b = x || y;
 >b : string

tests/baselines/reference/stringLiteralTypesInUnionTypes03.types

@@ -14,7 +14,7 @@ var y: T = undefined;
 if (x === "foo") {
 >x === "foo" : boolean
 >x : "foo" | "bar" | number
->"foo" : string
+>"foo" : "foo"
 
     let a = x;
 >a : "foo" | "bar" | number
@@ -23,7 +23,7 @@ if (x === "foo") {
 else if (x !== "bar") {
 >x !== "bar" : boolean
 >x : "foo" | "bar" | number
->"bar" : string
+>"bar" : "bar"
 
     let b = x || y;
 >b : "foo" | "bar" | number

tests/baselines/reference/stringLiteralTypesInUnionTypes04.types

@@ -16,7 +16,7 @@ let y: T = undefined;
 if (x === "") {
 >x === "" : boolean
 >x : "" | "foo"
->"" : string
+>"" : ""
 
     let a = x;
 >a : "" | "foo"
@@ -26,7 +26,7 @@ if (x === "") {
 if (x !== "") {
 >x !== "" : boolean
 >x : "" | "foo"
->"" : string
+>"" : ""
 
     let b = x;
 >b : "" | "foo"
@@ -36,7 +36,7 @@ if (x !== "") {
 if (x == "") {
 >x == "" : boolean
 >x : "" | "foo"
->"" : string
+>"" : ""
 
     let c = x;
 >c : "" | "foo"
@@ -46,7 +46,7 @@ if (x == "") {
 if (x != "") {
 >x != "" : boolean
 >x : "" | "foo"
->"" : string
+>"" : ""
 
     let d = x;
 >d : "" | "foo"

tests/baselines/reference/stringLiteralTypesOverloads01.types

@@ -39,7 +39,7 @@ function getFalsyPrimitive(x: PrimitiveName): number | string | boolean {
     if (x === "string") {
 >x === "string" : boolean
 >x : "string" | "number" | "boolean"
->"string" : string
+>"string" : "string"
 
         return "";
 >"" : string
@@ -47,7 +47,7 @@ function getFalsyPrimitive(x: PrimitiveName): number | string | boolean {
     if (x === "number") {
 >x === "number" : boolean
 >x : "string" | "number" | "boolean"
->"number" : string
+>"number" : "number"
 
         return 0;
 >0 : number
@@ -55,7 +55,7 @@ function getFalsyPrimitive(x: PrimitiveName): number | string | boolean {
     if (x === "boolean") {
 >x === "boolean" : boolean
 >x : "string" | "number" | "boolean"
->"boolean" : string
+>"boolean" : "boolean"
 
         return false;
 >false : boolean

tests/baselines/reference/stringLiteralTypesWithVariousOperators01.types

@@ -16,9 +16,9 @@ let abcOrXyz: "ABC" | "XYZ" = abc || xyz;
 
 let abcOrXyzOrNumber: "ABC" | "XYZ" | number = abcOrXyz || 100;
 >abcOrXyzOrNumber : "ABC" | "XYZ" | number
->abcOrXyz || 100 : "ABC" | "XYZ" | number
+>abcOrXyz || 100 : "ABC" | "XYZ" | 100
 >abcOrXyz : "ABC" | "XYZ"
->100 : number
+>100 : 100
 
 let a = "" + abc;
 >a : string

tests/baselines/reference/switchBreakStatements.types

@@ -4,7 +4,7 @@ switch ('') {
 >'' : string
 
     case 'a':
->'a' : string
+>'a' : "a"
 
         break;
 }
@@ -16,7 +16,7 @@ switch ('') {
 >'' : string
 
     case 'a':
->'a' : string
+>'a' : "a"
 
         break ONE;
 >ONE : any
@@ -32,7 +32,7 @@ switch ('') {
 >'' : string
 
     case 'a':
->'a' : string
+>'a' : "a"
 
         break THREE;
 >THREE : any
@@ -45,7 +45,7 @@ switch ('') {
 >'' : string
 
     case 'a':
->'a' : string
+>'a' : "a"
 
         FIVE:
 >FIVE : any
@@ -54,7 +54,7 @@ switch ('') {
 >'' : string
 
             case 'a':
->'a' : string
+>'a' : "a"
 
                 break FOUR;
 >FOUR : any
@@ -65,7 +65,7 @@ switch ('') {
 >'' : string
 
     case 'a':
->'a' : string
+>'a' : "a"
 
         SIX:
 >SIX : any
@@ -74,7 +74,7 @@ switch ('') {
 >'' : string
 
             case 'a':
->'a' : string
+>'a' : "a"
 
                 break SIX;
 >SIX : any
@@ -88,19 +88,19 @@ switch ('') {
 >'' : string
 
     case 'a':
->'a' : string
+>'a' : "a"
 
         switch ('') {
 >'' : string
 
             case 'a':
->'a' : string
+>'a' : "a"
 
                 switch ('') {
 >'' : string
 
                     case 'a':
->'a' : string
+>'a' : "a"
 
                         break SEVEN;
 >SEVEN : any
@@ -112,7 +112,7 @@ switch ('') {
 >'' : string
 
                             case 'a':
->'a' : string
+>'a' : "a"
 
                                 var fn = function () { }
 >fn : () => void

tests/baselines/reference/switchCases.types

@@ -3,7 +3,7 @@ switch(0) {
 >0 : number
 
  case 1:
->1 : number
+>1 : 1
 
  break;
 }

tests/baselines/reference/switchCasesExpressionTypeMismatch.errors.txt

@@ -1,6 +1,6 @@
 tests/cases/compiler/switchCasesExpressionTypeMismatch.ts(4,10): error TS2678: Type 'typeof Foo' is not comparable to type 'number'.
-tests/cases/compiler/switchCasesExpressionTypeMismatch.ts(5,10): error TS2678: Type 'string' is not comparable to type 'number'.
-tests/cases/compiler/switchCasesExpressionTypeMismatch.ts(7,10): error TS2678: Type 'boolean' is not comparable to type 'number'.
+tests/cases/compiler/switchCasesExpressionTypeMismatch.ts(5,10): error TS2678: Type '"sss"' is not comparable to type 'number'.
+tests/cases/compiler/switchCasesExpressionTypeMismatch.ts(7,10): error TS2678: Type 'true' is not comparable to type 'number'.
 
 
 ==== tests/cases/compiler/switchCasesExpressionTypeMismatch.ts (3 errors) ====
@@ -12,11 +12,11 @@ tests/cases/compiler/switchCasesExpressionTypeMismatch.ts(7,10): error TS2678: T
 !!! error TS2678: Type 'typeof Foo' is not comparable to type 'number'.
         case "sss": break;  // Error
              ~~~~~
-!!! error TS2678: Type 'string' is not comparable to type 'number'.
+!!! error TS2678: Type '"sss"' is not comparable to type 'number'.
         case 123: break;    // No Error
         case true: break;   // Error
              ~~~~
-!!! error TS2678: Type 'boolean' is not comparable to type 'number'.
+!!! error TS2678: Type 'true' is not comparable to type 'number'.
     }
     
     var s: any = 0;

tests/baselines/reference/switchFallThroughs.types

@@ -7,13 +7,13 @@ function R1(index: number) {
 >index : number
 
         case 0:
->0 : number
+>0 : 0
 
         case 1:
->1 : number
+>1 : 1
 
         case 2:
->2 : number
+>2 : 2
 
             var a = 'a';
 >a : string
@@ -23,16 +23,16 @@ function R1(index: number) {
 >a : string
 
         case 3:
->3 : number
+>3 : 3
 
         case 4: {
->4 : number
+>4 : 4
 
             return 'b';
 >'b' : string
         }
 		case 5:
->5 : number
+>5 : 5
 
 		default:
 			return 'c';

tests/baselines/reference/symbolType17.types

@@ -14,7 +14,7 @@ if (typeof x === "symbol") {
 >typeof x === "symbol" : boolean
 >typeof x : string
 >x : symbol | Foo
->"symbol" : string
+>"symbol" : "symbol"
 
     x;
 >x : symbol

tests/baselines/reference/symbolType18.types

@@ -14,7 +14,7 @@ if (typeof x === "object") {
 >typeof x === "object" : boolean
 >typeof x : string
 >x : symbol | Foo
->"object" : string
+>"object" : "object"
 
     x;
 >x : Foo

tests/baselines/reference/symbolType19.types

@@ -13,7 +13,7 @@ if (typeof x === "number") {
 >typeof x === "number" : boolean
 >typeof x : string
 >x : symbol | E
->"number" : string
+>"number" : "number"
 
     x;
 >x : E

tests/baselines/reference/taggedTemplateStringsWithManyCallAndMemberExpressions.types

@@ -39,6 +39,6 @@ var x = new new new f `abc${ 0 }def`.member("hello")(42) === true;
 >member : new (s: string) => new (n: number) => new () => boolean
 >"hello" : string
 >42 : number
->true : boolean
+>true : true
 
 

tests/baselines/reference/taggedTemplateStringsWithManyCallAndMemberExpressionsES6.types

@@ -39,6 +39,6 @@ var x = new new new f `abc${ 0 }def`.member("hello")(42) === true;
 >member : new (s: string) => new (n: number) => new () => boolean
 >"hello" : string
 >42 : number
->true : boolean
+>true : true
 
 

tests/baselines/reference/templateStringInEqualityChecks.types

@@ -19,11 +19,11 @@ var x = `abc${0}abc` === `abc` ||
 >`abc${0}abc` == "abc0abc" : boolean
 >`abc${0}abc` : string
 >0 : number
->"abc0abc" : string
+>"abc0abc" : "abc0abc"
 
         "abc0abc" !== `abc${0}abc`;
 >"abc0abc" !== `abc${0}abc` : boolean
->"abc0abc" : string
+>"abc0abc" : "abc0abc"
 >`abc${0}abc` : string
 >0 : number
 

tests/baselines/reference/templateStringInEqualityChecksES6.types

@@ -19,11 +19,11 @@ var x = `abc${0}abc` === `abc` ||
 >`abc${0}abc` == "abc0abc" : boolean
 >`abc${0}abc` : string
 >0 : number
->"abc0abc" : string
+>"abc0abc" : "abc0abc"
 
         "abc0abc" !== `abc${0}abc`;
 >"abc0abc" !== `abc${0}abc` : boolean
->"abc0abc" : string
+>"abc0abc" : "abc0abc"
 >`abc${0}abc` : string
 >0 : number