Variable of type any has initial type any in control flow analysis

ahejlsberg · ahejlsberg · commit ecc936167fba · 2016-04-25T17:22:06.000-07:00
diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
@@ -7972,7 +7972,7 @@ namespace ts {
                 return type;
             }
             const declaration = localOrExportSymbol.valueDeclaration;
-            const defaultsToDeclaredType = !strictNullChecks || !declaration ||
+            const defaultsToDeclaredType = !strictNullChecks || type.flags & TypeFlags.Any || !declaration ||
                 declaration.kind === SyntaxKind.Parameter || isInAmbientContext(declaration) ||
                 getContainingFunctionOrModule(declaration) !== getContainingFunctionOrModule(node);
             if (defaultsToDeclaredType && !(type.flags & TypeFlags.Narrowable)) {

Original file line number	Diff line number	Diff line change
`@@ -7972,7 +7972,7 @@ namespace ts {`
`7972`	`7972`	`return type;`
`7973`	`7973`	`}`
`7974`	`7974`	`const declaration = localOrExportSymbol.valueDeclaration;`
`7975`		`- const defaultsToDeclaredType = !strictNullChecks \|\| !declaration \|\|`
	`7975`	`+ const defaultsToDeclaredType = !strictNullChecks \|\| type.flags & TypeFlags.Any \|\| !declaration \|\|`
`7976`	`7976`	`declaration.kind === SyntaxKind.Parameter \|\| isInAmbientContext(declaration) \|\|`
`7977`	`7977`	`getContainingFunctionOrModule(declaration) !== getContainingFunctionOrModule(node);`
`7978`	`7978`	`if (defaultsToDeclaredType && !(type.flags & TypeFlags.Narrowable)) {`