Record a fix about extra parens for computed properties

Author: Sima Nerush

lib/Sema/CSSimplify.cpp

@@ -7750,7 +7750,20 @@ ConstraintSystem::matchTypes(Type type1, Type type2, ConstraintKind kind,
     if (type1->isPlaceholder() || type2->isPlaceholder())
       return getTypeMatchSuccess();
 
+    // If the other side is a tuple containing a pack expansion with the same
+    // number of elements, record a fix.
     auto *loc = getConstraintLocator(locator);
+    if (loc->isLastElement<LocatorPathElt::ApplyArgToParam>()) {
+      if (auto paramPack = simplifyType(type2, flags)->getAs<PackType>()) {
+        if (type1->getAs<TupleType>()->getNumElements() ==
+            paramPack->getNumElements()) {
+          if (recordFix(DestructureTupleToMatchPackExpansionParameter::create(
+                  *this, paramPack, loc))) {
+            return getTypeMatchFailure(loc);
+          }
+        }
+      }
+    }
     if (recordFix(AllowInvalidPackExpansion::create(*this, loc)))
       return getTypeMatchFailure(locator);