Skip to content

[WIP][DNM]: try to fix some bad RBI error suppressions#90040

Draft
jamieQ wants to merge 1 commit into
mainfrom
maybe-this-will-fix-some-rbi-bugs
Draft

[WIP][DNM]: try to fix some bad RBI error suppressions#90040
jamieQ wants to merge 1 commit into
mainfrom
maybe-this-will-fix-some-rbi-bugs

Conversation

@jamieQ

@jamieQ jamieQ commented Jun 18, 2026

Copy link
Copy Markdown
Member

No description provided.

@jamieQ

jamieQ commented Jun 18, 2026

Copy link
Copy Markdown
Member Author

@swift-ci please smoke test macos

@gottesmm

Copy link
Copy Markdown
Contributor

@jamieQ what test case are you looking to fix?

@jamieQ

jamieQ commented Jun 18, 2026

Copy link
Copy Markdown
Member Author

@swift-ci please smoke test macos

@jamieQ

jamieQ commented Jun 18, 2026

Copy link
Copy Markdown
Member Author

@gottesmm there are a number of outstanding issues filed that seem related to this, e.g. things like:

open class NS {
  func use() {}
}

@MainActor
func send(_ ns: sending NS) {
  Task.detached { ns.use() }
}

@MainActor
func badSend() async {
  let ns = NS()
  send(ns)
  ns.use()
}

I have a pending forum post with more info.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants