Merge pull request #10909 from xedin/rdar-33044867

[QoI] Don't try to lookup members on incorrect type during Objective-C KeyPath validation

Author: xedin

lib/Sema/TypeCheckExprObjC.cpp

@@ -166,6 +166,8 @@ Optional<Type> TypeChecker::checkObjCKeyPathExpr(DeclContext *dc,
       return lookupUnqualified(dc, componentName, componentNameLoc);
 
     assert(currentType && "Non-beginning state must have a type");
+    if (!currentType->mayHaveMembers())
+      return LookupResult();
 
     // Determine the type in which the lookup should occur. If we have
     // a bridged value type, this will be the Objective-C class to

validation-test/compiler_crashers_2_fixed/0113-rdar33044867.swift

@@ -0,0 +1,15 @@
+// RUN: not %target-swift-frontend %s -typecheck
+
+public class A {
+  var property: UndeclaredType
+  var keyPath: Any {
+    return #keyPath(property.foo)
+  }
+}
+
+public class B {
+  var property: UndeclaredType
+  var keyPath: Any {
+    return [#keyPath(property.foo)]
+  }
+}