[Property Wrappers] Make sure captures are computed for synthesized property

wrapper accessors.

Author: hborla

lib/Sema/TypeCheckDeclPrimary.cpp

@@ -1418,6 +1418,17 @@ class DeclChecker : public DeclVisitor<DeclChecker> {
     (void) VD->getPropertyWrapperBackingProperty();
     (void) VD->getImplInfo();
 
+    if (VD->hasAttachedPropertyWrapper() && VD->getDeclContext()->isLocalContext()) {
+      // If this is a local wrapped variable, visit the synthesized
+      // storage and projection first
+      auto wrapperInfo = VD->getPropertyWrapperBackingPropertyInfo();
+      assert(wrapperInfo);
+
+      visitBoundVariable(wrapperInfo.backingVar);
+      if (wrapperInfo.projectionVar)
+        visitBoundVariable(wrapperInfo.projectionVar);
+    }
+
     // Add the '@_hasStorage' attribute if this property is stored.
     if (VD->hasStorage() && !VD->getAttrs().hasAttribute<HasStorageAttr>())
       VD->getAttrs().add(new (getASTContext())

lib/Sema/TypeCheckStorage.cpp

@@ -1147,8 +1147,9 @@ synthesizeTrivialGetterBody(AccessorDecl *getter, TargetImpl target,
     body.push_back(returnStmt);
   }
 
+  // Don't mark local accessors as type-checked - captures still need to be computed.
   return { BraceStmt::create(ctx, loc, body, loc, true),
-           /*isTypeChecked=*/true };
+           /*isTypeChecked=*/!getter->getDeclContext()->isLocalContext() };
 }
 
 /// Synthesize the body of a getter which just directly accesses the
@@ -1423,8 +1424,9 @@ synthesizeTrivialSetterBodyWithStorage(AccessorDecl *setter,
 
   createPropertyStoreOrCallSuperclassSetter(setter, valueDRE, storageToUse,
                                             target, setterBody, ctx);
+  // Don't mark local accessors as type-checked - captures still need to be computed.
   return { BraceStmt::create(ctx, loc, setterBody, loc, true),
-           /*isTypeChecked=*/true };
+           /*isTypeChecked=*/!setter->getDeclContext()->isLocalContext() };
 }
 
 static std::pair<BraceStmt *, bool>