The generated initializer doesn't work inside the #Preview macro

[kuglee]

Description

Thanks for making this macro. I'd like to use it unfortunately the generated initializer doesn't work inside the #Preview macro.

Example:

import SwiftUI
import MemberwiseInit

@MemberwiseInit struct Test {
  let test: Int
}

struct ContentView: View {
  init(test: Test) {}

  var body: some View {
    EmptyView()
  }
}

#Preview {
  ContentView(test: Test(test: 1)) // 🛑 'Test' cannot be constructed because it has no accessible initializers
}

Checklist

• If possible, I've reproduced the issue using the main branch of this package.
• This issue hasn't been addressed in an existing GitHub issue or discussion.

Expected behavior

I've expected the code above to work.

Actual behavior

The code above doesn't compile: 'Test' cannot be constructed because it has no accessible initializers

Steps to reproduce

No response

swift-memberwise-init-macro version information

main

Destination operating system

macOS 14.1.1

Xcode version information

15.0 (15A240d)

Swift Compiler version information

swift-driver version: 1.87.1 Apple Swift version 5.9 (swiftlang-5.9.0.128.108 clang-1500.0.40.1)

[gohanlon]

Thanks for the report! This seems to be a rather unfortunate upstream bug; feedback filed: FB13443736. I also reproduced this bug in the latest Xcode 15.1 beta 3 (15C5059c). I think the best we can do for now is fall back to the old PreviewProvider syntax:

#if DEBUG
struct ContentView_Preview: PreviewProvider {
  static var previews: some View {
    ContentView(test: Test(test: 1))
  }
}
#endif

If you inline the #Preview macro in your example using Xcode's "Refactor → Inline Macro" and strip the leading "$" from the generated name, it compiles as expected. That's not a workaround, tho: Xcode won't recognize it as a preview (and the expanded code is unpleasant).

Furthermore, this can be generalized to any closure argument given to a macro:

@MemberwiseInit
public struct ClosureTest {
  @Init(default: { Test(test: 1) }) let name: () -> Test
//                 ┬────────────
//                 ╰─ 🛑 'Test' cannot be constructed because it has no accessible initializers
}

The compiler is type-checking the closure argument without expanding macros first. This presents a complex situation where the dependency between macro expansion and type checking isn't properly resolved by the compiler.

Note
I found a related issue that's since been resolved where #Preview failed similarly when members were added to a type via an extension in the same file. See: #Preview macro can’t find member which is added via an extension and FB 110671628.

[kuglee]

Thanks you for your answer 🙏