Merge pull request #12362 from Microsoft/disable-evolving-types-with-…

…implicit-any

Disable evolving types with implicit any

src/compiler/checker.ts

@@ -3239,9 +3239,11 @@ namespace ts {
                 return addOptionality(getTypeFromTypeNode(declaration.type), /*optional*/ declaration.questionToken && includeOptionality);
             }
 
-            if (declaration.kind === SyntaxKind.VariableDeclaration && !isBindingPattern(declaration.name) &&
+            if ((compilerOptions.noImplicitAny || declaration.flags & NodeFlags.JavaScriptFile) &&
+                declaration.kind === SyntaxKind.VariableDeclaration && !isBindingPattern(declaration.name) &&
                 !(getCombinedModifierFlags(declaration) & ModifierFlags.Export) && !isInAmbientContext(declaration)) {
-                // Use control flow tracked 'any' type for non-ambient, non-exported var or let variables with no
+                // If --noImplicitAny is on or the declaration is in a Javascript file,
+                // use control flow tracked 'any' type for non-ambient, non-exported var or let variables with no
                 // initializer or a 'null' or 'undefined' initializer.
                 if (!(getCombinedNodeFlags(declaration) & NodeFlags.Const) && (!declaration.initializer || isNullOrUndefined(declaration.initializer))) {
                     return autoType;

tests/baselines/reference/asiPreventsParsingAsTypeAlias01.types

@@ -10,10 +10,10 @@ var Foo;
 >Foo : any
 
 type
->type : undefined
+>type : any
 
 Foo = string;
->Foo = string : undefined
+>Foo = string : any
 >Foo : any
->string : undefined
+>string : any
 

tests/baselines/reference/assignEveryTypeToAny.types

@@ -59,9 +59,9 @@ var e = undefined;
 >undefined : undefined
 
 x = e;
->x = e : undefined
+>x = e : any
 >x : any
->e : undefined
+>e : any
 
 var e2: typeof undefined;
 >e2 : any

tests/baselines/reference/capturedLetConstInLoop3.types

@@ -179,7 +179,7 @@ function foo3(x) {
     use(v);
 >use(v) : any
 >use : (a: any) => any
->v : undefined
+>v : any
 }
 
 function foo4(x) {
@@ -283,8 +283,8 @@ function foo6(x) {
 >y : any
 
         var v = x;
->v : undefined
->x : undefined
+>v : any
+>x : any
 
         (function() { return x + y + v });
 >(function() { return x + y + v }) : () => any
@@ -293,7 +293,7 @@ function foo6(x) {
 >x + y : any
 >x : any
 >y : any
->v : undefined
+>v : any
 
         (() => x + y + v);
 >(() => x + y + v) : () => any
@@ -302,13 +302,13 @@ function foo6(x) {
 >x + y : any
 >x : any
 >y : any
->v : undefined
+>v : any
     }
 
     use(v)
 >use(v) : any
 >use : (a: any) => any
->v : undefined
+>v : any
 }
 
 function foo7(x) {
@@ -321,8 +321,8 @@ function foo7(x) {
 >y : any
 
         var v = x;
->v : undefined
->x : undefined
+>v : any
+>x : any
 
         (function() { return x + y + v });
 >(function() { return x + y + v }) : () => any
@@ -331,7 +331,7 @@ function foo7(x) {
 >x + y : any
 >x : any
 >y : any
->v : undefined
+>v : any
 
         (() => x + y + v);
 >(() => x + y + v) : () => any
@@ -340,7 +340,7 @@ function foo7(x) {
 >x + y : any
 >x : any
 >y : any
->v : undefined
+>v : any
 
     } while (1 === 1);
 >1 === 1 : boolean
@@ -350,7 +350,7 @@ function foo7(x) {
     use(v);
 >use(v) : any
 >use : (a: any) => any
->v : undefined
+>v : any
 }
 
 
@@ -574,7 +574,7 @@ function foo3_c(x) {
     use(v);
 >use(v) : any
 >use : (a: any) => any
->v : undefined
+>v : any
 }
 
 function foo4_c(x) {

tests/baselines/reference/capturedLetConstInLoop3_ES6.types

@@ -180,7 +180,7 @@ function foo3(x) {
     use(v);
 >use(v) : any
 >use : (a: any) => any
->v : undefined
+>v : any
 }
 
 function foo4(x) {
@@ -284,8 +284,8 @@ function foo6(x) {
 >y : any
 
         var v = x;
->v : undefined
->x : undefined
+>v : any
+>x : any
 
         (function() { return x + y + v });
 >(function() { return x + y + v }) : () => any
@@ -294,7 +294,7 @@ function foo6(x) {
 >x + y : any
 >x : any
 >y : any
->v : undefined
+>v : any
 
         (() => x + y + v);
 >(() => x + y + v) : () => any
@@ -303,13 +303,13 @@ function foo6(x) {
 >x + y : any
 >x : any
 >y : any
->v : undefined
+>v : any
     }
 
     use(v)
 >use(v) : any
 >use : (a: any) => any
->v : undefined
+>v : any
 }
 
 function foo7(x) {
@@ -322,8 +322,8 @@ function foo7(x) {
 >y : any
 
         var v = x;
->v : undefined
->x : undefined
+>v : any
+>x : any
 
         (function() { return x + y + v });
 >(function() { return x + y + v }) : () => any
@@ -332,7 +332,7 @@ function foo7(x) {
 >x + y : any
 >x : any
 >y : any
->v : undefined
+>v : any
 
         (() => x + y + v);
 >(() => x + y + v) : () => any
@@ -341,7 +341,7 @@ function foo7(x) {
 >x + y : any
 >x : any
 >y : any
->v : undefined
+>v : any
 
     } while (1 === 1);
 >1 === 1 : boolean
@@ -351,7 +351,7 @@ function foo7(x) {
     use(v);
 >use(v) : any
 >use : (a: any) => any
->v : undefined
+>v : any
 }
 
 
@@ -575,7 +575,7 @@ function foo3_c(x) {
     use(v);
 >use(v) : any
 >use : (a: any) => any
->v : undefined
+>v : any
 }
 
 function foo4_c(x) {

tests/baselines/reference/capturedLetConstInLoop4.types

@@ -17,12 +17,12 @@ export function exportedFoo() {
 >v0 : any
 >v00 : string
 >v1 : number
->v2 : undefined
->v3 : undefined
+>v2 : any
+>v3 : any
 >v4 : number
 >v5 : number
->v6 : undefined
->v7 : undefined
+>v6 : any
+>v7 : any
 >v8 : number
 }
 
@@ -103,15 +103,15 @@ while (1 === 1) {
 >x : any
 
     var v2 = x;
->v2 : undefined
->x : undefined
+>v2 : any
+>x : any
 
     (function() { return x + v2});
 >(function() { return x + v2}) : () => any
 >function() { return x + v2} : () => any
 >x + v2 : any
 >x : any
->v2 : undefined
+>v2 : any
 
     (() => x);
 >(() => x) : () => any
@@ -124,15 +124,15 @@ do {
 >x : any
 
     var v3 = x;
->v3 : undefined
->x : undefined
+>v3 : any
+>x : any
 
     (function() { return x + v3});
 >(function() { return x + v3}) : () => any
 >function() { return x + v3} : () => any
 >x + v3 : any
 >x : any
->v3 : undefined
+>v3 : any
 
     (() => x);
 >(() => x) : () => any
@@ -216,8 +216,8 @@ while (1 === 1) {
 >y : any
 
     var v6 = x;
->v6 : undefined
->x : undefined
+>v6 : any
+>x : any
 
     (function() { return x + y + v6});
 >(function() { return x + y + v6}) : () => any
@@ -226,7 +226,7 @@ while (1 === 1) {
 >x + y : any
 >x : any
 >y : any
->v6 : undefined
+>v6 : any
 
     (() => x + y);
 >(() => x + y) : () => any
@@ -242,8 +242,8 @@ do {
 >y : any
 
     var v7 = x;
->v7 : undefined
->x : undefined
+>v7 : any
+>x : any
 
     (function() { return x + y + v7});
 >(function() { return x + y + v7}) : () => any
@@ -252,7 +252,7 @@ do {
 >x + y : any
 >x : any
 >y : any
->v7 : undefined
+>v7 : any
 
     (() => x + y);
 >(() => x + y) : () => any