# SE-0401: Remove Actor Isolation Inference caused by Property Wrappers

**URL:** <https://forums.swift.org/t/se-0401-remove-actor-isolation-inference-caused-by-property-wrappers/65618>\
**Category:** Proposal Reviews\
**Tags:** concurrency\
**Created:** [June 16, 2023, 6:58am UTC](https://forums.swift.org/t/se-0401-remove-actor-isolation-inference-caused-by-property-wrappers/65618 "2023-06-16T06:58:16Z")\
**Posts on this page:** 1\
**Showing post:** 10

<div class="post-metadata">

**Author:** ![Douglas\_Gregor](https://sea2.discourse-cdn.com/swift/user_avatar/forums.swift.org/douglas_gregor/32/1362_2.png) [@Douglas\_Gregor](https://forums.swift.org/u/Douglas_Gregor)\
**Post date:** [June 16, 2023, 6:35pm UTC](https://forums.swift.org/t/se-0401-remove-actor-isolation-inference-caused-by-property-wrappers/65618/10 "2023-06-16T18:35:44Z")

</div>

> [@Karl](#):
>
> I find it strange -- this proposal is suggesting that we remove a language feature, yet the reason for the feature's existence remains "not clear" and left to speculation. Even though I find given explanation to be perfectly plausible, we really _should_ have this confirmed else there is a danger that we may be overlooking something.

Oh, sorry for not addressing this question more specifically early; I hadn't realized it was such an open question. This part of the global actors proposal came from the observation[\*] that the presence of `@ObservedObject`, or other property wrappers that had to be used from the main actor, were a strong indication that the enclosing type itself could only reasonably be used from the main actor, and the general desire to lessen the `@MainActor` annotation burden.

Doug

[\*] Hah. Hah.

---

_[View the full topic](https://forums.swift.org/t/se-0401-remove-actor-isolation-inference-caused-by-property-wrappers/65618)._
