Merge pull request #37221 from apple/revert-36946-rdar-61749633

Revert "[TypeChecker] PreCheck: Don't strip away tuple/paren from subscripts …"

Author: xedin

lib/Sema/PreCheckExpr.cpp

@@ -1061,24 +1061,10 @@ namespace {
     }
 
     std::pair<bool, Expr *> walkToExprPre(Expr *expr) override {
-      // If this is a call or subscript, record the argument expression.
-      {
-        if (auto call = dyn_cast<ApplyExpr>(expr)) {
-          if (!isa<SelfApplyExpr>(expr)) {
-            CallArgs.insert(call->getArg());
-          }
-        }
-
-        if (auto *subscript = dyn_cast<SubscriptExpr>(expr)) {
-          CallArgs.insert(subscript->getIndex());
-        }
-
-        if (auto *dynamicSubscript = dyn_cast<DynamicSubscriptExpr>(expr)) {
-          CallArgs.insert(dynamicSubscript->getIndex());
-        }
-
-        if (auto *OLE = dyn_cast<ObjectLiteralExpr>(expr)) {
-          CallArgs.insert(OLE->getArg());
+      // If this is a call, record the argument expression.
+      if (auto call = dyn_cast<ApplyExpr>(expr)) {
+        if (!isa<SelfApplyExpr>(expr)) {
+          CallArgs.insert(call->getArg());
         }
       }
 

validation-test/Sema/type_checker_crashers_fixed/rdar61749633.swift

@@ -5,7 +5,7 @@ class ContainerTransition {
   func completeTransition() {
     viewControllers?[Int//.max
     // expected-error@-1 {{no exact matches in call to subscript}}
-    // expected-note@-2 {{found candidate with type '(Int.Type) -> Dictionary<Int, String>.SubSequence' (aka '(Int.Type) -> Slice<Dictionary<Int, String>>')}}
+    // expected-note@-2 {{found candidate with type '((Int).Type) -> Dictionary<Int, String>.SubSequence' (aka '((Int).Type) -> Slice<Dictionary<Int, String>>')}}
     // expected-note@-3 {{to match this opening '['}}
   } // expected-error {{expected ']' in expression list}}
 }