[SourceKit] Trigger generation of synthesized accessors in solver-based cursor info

Author: ahoppen

lib/IDE/CursorInfo.cpp

@@ -50,10 +50,12 @@ void typeCheckDeclAndParentClosures(ValueDecl *VD) {
   typeCheckASTNodeAtLoc(
       TypeCheckASTNodeAtLocContext::declContext(VD->getDeclContext()),
       VD->getLoc());
-  // Type check any attached property wrappers so the annotated declaration can
-  // refer to their USRs
   if (auto VarD = dyn_cast<VarDecl>(VD)) {
+    // Type check any attached property wrappers so the annotated declaration
+    // can refer to their USRs.
     (void)VarD->getPropertyWrapperBackingPropertyType();
+    // Visit emitted accessors so we generated accessors from property wrappers.
+    VarD->visitEmittedAccessors([&](AccessorDecl *accessor) {});
   }
 }
 

test/SourceKit/CursorInfo/cursor_infer_nonmutating_from_property_wrapper.swift

@@ -0,0 +1,17 @@
+func test() {
+  struct MyStruct {
+// RUN: %sourcekitd-test -req=cursor -pos=%(line + 1):16 %s -- %s | %FileCheck %s
+    @State var myState
+  }
+}
+
+@propertyWrapper struct State {
+    init(initialValue value: Int) {}
+
+    public var wrappedValue: Int {
+        get { return 1 }
+        nonmutating set { }
+    }
+}
+
+// CHECK: <Declaration>@<Type usr="s:46cursor_infer_nonmutating_from_property_wrapper5StateV">State</Type> var myState: &lt;&lt;error type&gt;&gt; { get nonmutating set }</Declaration>