diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
index efc3e32166..0861cd96a0 100644
--- a/src/compiler/checker.ts
+++ b/src/compiler/checker.ts
@@ -5761,6 +5761,7 @@ namespace ts {
                 let signature = getResolvedSignature(expr);
 
                 if (signature.typePredicate &&
+                    expr.arguments[signature.typePredicate.parameterIndex] &&
                     getSymbolAtLocation(expr.arguments[signature.typePredicate.parameterIndex]) === symbol) {
 
                     if (!assumeTrue) {
diff --git a/tests/cases/conformance/expressions/typeGuards/typeGuardFunctionErrors.ts b/tests/cases/conformance/expressions/typeGuards/typeGuardFunctionErrors.ts
index e157b2afe3..688099280c 100644
--- a/tests/cases/conformance/expressions/typeGuards/typeGuardFunctionErrors.ts
+++ b/tests/cases/conformance/expressions/typeGuards/typeGuardFunctionErrors.ts
@@ -23,6 +23,10 @@ function hasMissingIsKeyword(): x {
     return true;
 }
 
+function hasMissingParameter(): x is A {
+    return true;
+}
+
 function hasMissingTypeInTypeGuardType(x): x is {
     return true;
 }
@@ -132,4 +136,10 @@ function b6([a, b, p1], p2, p3): p1 is A {
 
 function b7({a, b, c: {p1}}, p2, p3): p1 is A {
     return true;
+}
+
+// Should not crash the compiler
+var x: A;
+if (hasMissingParameter()) {
+    x.propA;
 }
\ No newline at end of file