Update tests and baselines

Author: ahejlsberg

tests/baselines/reference/controlFlowLetVar.js

@@ -2,6 +2,7 @@
 
 declare let cond: boolean;
 
+// CFA for 'let' with no type annotation and initializer
 function f1() {
     let x;
     if (cond) {
@@ -10,9 +11,10 @@ function f1() {
     if (cond) {
         x = "hello";
     }
-    const y = x;
+    const y = x;  // string | number | undefined
 }
 
+// CFA for 'let' with no type annotation and 'undefined' initializer
 function f2() {
     let x = undefined;
     if (cond) {
@@ -21,9 +23,10 @@ function f2() {
     if (cond) {
         x = "hello";
     }
-    const y = x;
+    const y = x;  // string | number | undefined
 }
 
+// CFA for 'let' with no type annotation and 'null' initializer
 function f3() {
     let x = null;
     if (cond) {
@@ -32,9 +35,10 @@ function f3() {
     if (cond) {
         x = "hello";
     }
-    const y = x;
+    const y = x;  // string | number | null
 }
 
+// No CFA for 'let' with with type annotation
 function f4() {
     let x: any;
     if (cond) {
@@ -43,9 +47,10 @@ function f4() {
     if (cond) {
         x = "hello";
     }
-    const y = x;
+    const y = x;  // any
 }
 
+// CFA for 'var' with no type annotation and initializer
 function f5() {
     var x;
     if (cond) {
@@ -54,9 +59,10 @@ function f5() {
     if (cond) {
         x = "hello";
     }
-    const y = x;
+    const y = x;  // string | number | undefined
 }
 
+// CFA for 'var' with no type annotation and 'undefined' initializer
 function f6() {
     var x = undefined;
     if (cond) {
@@ -65,9 +71,10 @@ function f6() {
     if (cond) {
         x = "hello";
     }
-    const y = x;
+    const y = x;  // string | number | undefined
 }
 
+// CFA for 'var' with no type annotation and 'null' initializer
 function f7() {
     var x = null;
     if (cond) {
@@ -76,9 +83,10 @@ function f7() {
     if (cond) {
         x = "hello";
     }
-    const y = x;
+    const y = x;  // string | number | null
 }
 
+// No CFA for 'var' with with type annotation
 function f8() {
     var x: any;
     if (cond) {
@@ -87,9 +95,10 @@ function f8() {
     if (cond) {
         x = "hello";
     }
-    const y = x;
+    const y = x;  // any
 }
 
+// No CFA for captured outer variables
 function f9() {
     let x;
     if (cond) {
@@ -98,12 +107,13 @@ function f9() {
     if (cond) {
         x = "hello";
     }
-    const y = x;
+    const y = x;  // string | number | undefined
     function f() {
-        const z = x;
+        const z = x;  // any
     }
 }
 
+// No CFA for captured outer variables
 function f10() {
     let x;
     if (cond) {
@@ -112,13 +122,14 @@ function f10() {
     if (cond) {
         x = "hello";
     }
-    const y = x;
+    const y = x;  // string | number | undefined
     const f = () => {
-        const z = x;
+        const z = x;  // any
     };
 }
 
 //// [controlFlowLetVar.js]
+// CFA for 'let' with no type annotation and initializer
 function f1() {
     var x;
     if (cond) {
@@ -127,8 +138,9 @@ function f1() {
     if (cond) {
         x = "hello";
     }
-    var y = x;
+    var y = x; // string | number | undefined
 }
+// CFA for 'let' with no type annotation and 'undefined' initializer
 function f2() {
     var x = undefined;
     if (cond) {
@@ -137,8 +149,9 @@ function f2() {
     if (cond) {
         x = "hello";
     }
-    var y = x;
+    var y = x; // string | number | undefined
 }
+// CFA for 'let' with no type annotation and 'null' initializer
 function f3() {
     var x = null;
     if (cond) {
@@ -147,8 +160,9 @@ function f3() {
     if (cond) {
         x = "hello";
     }
-    var y = x;
+    var y = x; // string | number | null
 }
+// No CFA for 'let' with with type annotation
 function f4() {
     var x;
     if (cond) {
@@ -157,8 +171,9 @@ function f4() {
     if (cond) {
         x = "hello";
     }
-    var y = x;
+    var y = x; // any
 }
+// CFA for 'var' with no type annotation and initializer
 function f5() {
     var x;
     if (cond) {
@@ -167,8 +182,9 @@ function f5() {
     if (cond) {
         x = "hello";
     }
-    var y = x;
+    var y = x; // string | number | undefined
 }
+// CFA for 'var' with no type annotation and 'undefined' initializer
 function f6() {
     var x = undefined;
     if (cond) {
@@ -177,8 +193,9 @@ function f6() {
     if (cond) {
         x = "hello";
     }
-    var y = x;
+    var y = x; // string | number | undefined
 }
+// CFA for 'var' with no type annotation and 'null' initializer
 function f7() {
     var x = null;
     if (cond) {
@@ -187,8 +204,9 @@ function f7() {
     if (cond) {
         x = "hello";
     }
-    var y = x;
+    var y = x; // string | number | null
 }
+// No CFA for 'var' with with type annotation
 function f8() {
     var x;
     if (cond) {
@@ -197,8 +215,9 @@ function f8() {
     if (cond) {
         x = "hello";
     }
-    var y = x;
+    var y = x; // any
 }
+// No CFA for captured outer variables
 function f9() {
     var x;
     if (cond) {
@@ -207,11 +226,12 @@ function f9() {
     if (cond) {
         x = "hello";
     }
-    var y = x;
+    var y = x; // string | number | undefined
     function f() {
-        var z = x;
+        var z = x; // any
     }
 }
+// No CFA for captured outer variables
 function f10() {
     var x;
     if (cond) {
@@ -220,8 +240,8 @@ function f10() {
     if (cond) {
         x = "hello";
     }
-    var y = x;
+    var y = x; // string | number | undefined
     var f = function () {
-        var z = x;
+        var z = x; // any
     };
 }