From ecc936167fba12ac8709053621fd8cd2a9b7c661 Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <andersh@microsoft.com>
Date: Mon, 25 Apr 2016 17:22:06 -0700
Subject: [PATCH 1/2] Variable of type any has initial type any in control flow
 analysis

---
 src/compiler/checker.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
index 992fc466dd7..6a42dc43d51 100644
--- 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)) {

From 6cd7db825748a114d649431bde2a916678fba43e Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <andersh@microsoft.com>
Date: Mon, 25 Apr 2016 21:24:42 -0700
Subject: [PATCH 2/2] Adding regression test

---
 .../defaultOfAnyInStrictNullChecks.js         | 22 +++++++++++++++++++
 .../defaultOfAnyInStrictNullChecks.symbols    | 18 +++++++++++++++
 .../defaultOfAnyInStrictNullChecks.types      | 20 +++++++++++++++++
 .../defaultOfAnyInStrictNullChecks.ts         | 11 ++++++++++
 4 files changed, 71 insertions(+)
 create mode 100644 tests/baselines/reference/defaultOfAnyInStrictNullChecks.js
 create mode 100644 tests/baselines/reference/defaultOfAnyInStrictNullChecks.symbols
 create mode 100644 tests/baselines/reference/defaultOfAnyInStrictNullChecks.types
 create mode 100644 tests/cases/compiler/defaultOfAnyInStrictNullChecks.ts

diff --git a/tests/baselines/reference/defaultOfAnyInStrictNullChecks.js b/tests/baselines/reference/defaultOfAnyInStrictNullChecks.js
new file mode 100644
index 00000000000..7706181b343
--- /dev/null
+++ b/tests/baselines/reference/defaultOfAnyInStrictNullChecks.js
@@ -0,0 +1,22 @@
+//// [defaultOfAnyInStrictNullChecks.ts]
+
+// Regression test for #8295
+
+function foo() {
+    try {
+    }
+    catch (e) {
+        let s = e.message; 
+    }
+}
+
+
+//// [defaultOfAnyInStrictNullChecks.js]
+// Regression test for #8295
+function foo() {
+    try {
+    }
+    catch (e) {
+        var s = e.message;
+    }
+}
diff --git a/tests/baselines/reference/defaultOfAnyInStrictNullChecks.symbols b/tests/baselines/reference/defaultOfAnyInStrictNullChecks.symbols
new file mode 100644
index 00000000000..c7de7f6b2f3
--- /dev/null
+++ b/tests/baselines/reference/defaultOfAnyInStrictNullChecks.symbols
@@ -0,0 +1,18 @@
+=== tests/cases/compiler/defaultOfAnyInStrictNullChecks.ts ===
+
+// Regression test for #8295
+
+function foo() {
+>foo : Symbol(foo, Decl(defaultOfAnyInStrictNullChecks.ts, 0, 0))
+
+    try {
+    }
+    catch (e) {
+>e : Symbol(e, Decl(defaultOfAnyInStrictNullChecks.ts, 6, 11))
+
+        let s = e.message; 
+>s : Symbol(s, Decl(defaultOfAnyInStrictNullChecks.ts, 7, 11))
+>e : Symbol(e, Decl(defaultOfAnyInStrictNullChecks.ts, 6, 11))
+    }
+}
+
diff --git a/tests/baselines/reference/defaultOfAnyInStrictNullChecks.types b/tests/baselines/reference/defaultOfAnyInStrictNullChecks.types
new file mode 100644
index 00000000000..8e4c1adcd61
--- /dev/null
+++ b/tests/baselines/reference/defaultOfAnyInStrictNullChecks.types
@@ -0,0 +1,20 @@
+=== tests/cases/compiler/defaultOfAnyInStrictNullChecks.ts ===
+
+// Regression test for #8295
+
+function foo() {
+>foo : () => void
+
+    try {
+    }
+    catch (e) {
+>e : any
+
+        let s = e.message; 
+>s : any
+>e.message : any
+>e : any
+>message : any
+    }
+}
+
diff --git a/tests/cases/compiler/defaultOfAnyInStrictNullChecks.ts b/tests/cases/compiler/defaultOfAnyInStrictNullChecks.ts
new file mode 100644
index 00000000000..17568f48029
--- /dev/null
+++ b/tests/cases/compiler/defaultOfAnyInStrictNullChecks.ts
@@ -0,0 +1,11 @@
+// @strictNullChecks: true
+
+// Regression test for #8295
+
+function foo() {
+    try {
+    }
+    catch (e) {
+        let s = e.message; 
+    }
+}