[Distributed][Macro] handle effectful properties in protocol macro

Author: ktoso

lib/Macros/Sources/SwiftMacros/DistributedProtocolMacro.swift

@@ -74,12 +74,24 @@ extension DistributedProtocolMacro {
   static func stubMethodDecl(access: String, _ requirement: MemberBlockItemListSyntax.Element) -> String {
     // do we need to stub a computed variable?
     if let variable = requirement.decl.as(VariableDeclSyntax.self) {
-      // TODO(distributed): improve stubbing computed properties of all kinds
+      print("VAR = \(variable.debugDescription)")
+
+      var accessorStubs: [String] = []
+
+      for binding in variable.bindings {
+        if let accessorBlock = binding.accessorBlock {
+          for accessor in accessorBlock.accessors.children(viewMode: .all) {
+            let accessorStub = "\(accessor) { \(stubFunctionBody()) }"
+            accessorStubs.append(accessorStub)
+          }
+        }
+      }
+
       let name = variable.bindings.first!.pattern.trimmed
       let typeAnnotation = variable.bindings.first?.typeAnnotation.map { "\($0.trimmed)" } ?? "Any"
       return """
              \(access)\(variable.modifiers)\(variable.bindingSpecifier) \(name) \(typeAnnotation) {
-               \(stubFunctionBody())
+               \(accessorStubs.joined(separator: "\n  "))
              }
              """
     }

test/Distributed/Macros/distributed_macro_expansion_DistributedProtocol_errors.swift

@@ -39,5 +39,4 @@ public protocol SomeRoot: DistributedActor, Sendable
   associatedtype AssociatedSomething: Sendable // expected-note{{protocol requires nested type 'AssociatedSomething'; add nested type 'AssociatedSomething' for conformance}}
   static var staticValue: String { get }
   var value: String { get }
-  var getSet: String { get set }
 }

test/Distributed/Macros/distributed_macro_expansion_DistributedProtocol_simple.swift

@@ -33,3 +33,15 @@ protocol Greeter: DistributedActor where ActorSystem: DistributedActorSystem<any
 // CHECK-NEXT:     }
 // CHECK-NEXT:   }
 // CHECK-NEXT: }
+
+// Macro should be able to handle complex properties
+@_DistributedProtocol
+public protocol GetSet: DistributedActor, Sendable
+  where ActorSystem: DistributedActorSystem<any Codable> {
+
+  distributed var dist: String { get }
+
+  var getSet: String { get set }
+
+  var asyncGetSet: String { get async throws }
+}