[SR-16052] Compiler error when referencing global actor isolated value from non-isolated initializer with property wrapper

[swift-ci]

Previous ID	SR-16052
Radar	None
Original Reporter	StarLard (JIRA User)
Type	Bug

Attachment: Download

Environment

Xcode 13.3 Swift 5.6

Additional Detail from JIRA

| | | |------------------|-----------------| |Votes | 0 | |Component/s | Compiler, swift | |Labels | Bug, Concurrency, PropertyWrappers | |Assignee | None | |Priority | Medium | md5: f522783fd58bc1635562f6ecf2e3eca5

Issue Description:

Compiler produces an actor isolation violation error when referencing a wrapped property from a global actor isolated class' init or deinit methods. Using the long-form declaration of the property wrapper or forgoing the property wrapper does not trigger the violation. Using an actor type instead of a global actor isolated class also does not reproduce this error.

Error Reproduction Example:

@propertyWrapper struct Wrapped<Value> {
    var wrappedValue: Value

    init(wrappedValue: Value) {
        self.wrappedValue = wrappedValue
    }
}

@MainActor
class Example {
    var notWrappedValue: Bool = true

    @Wrapped
    var wrappedValue: Bool = true

    var wrappedValueLong: Wrapped<Bool> = Wrapped(wrappedValue: true)

    nonisolated init() {
        _ = self.notWrappedValue // Ok
        _ = self.wrappedValueLong // Ok
        _ = self.wrappedValue // Error: Property 'value' isolated to global actor 'MainActor' can not be referenced from a non-isolated synchronous context
    }

    deinit {
        _ = self.notWrappedValue // Ok
        _ = self.wrappedValueLong // Ok
        _ = self.wrappedValue // Error: Property 'value' isolated to global actor 'MainActor' can not be referenced from this synchronous context
    }
}

[StarLard]

FYI I reported this.