Skip to content

Set return type of die and exit to never#1893

Merged
LolGleb merged 1 commit into
JetBrains:masterfrom
vudaltsov:die-exit-never
May 18, 2026
Merged

Set return type of die and exit to never#1893
LolGleb merged 1 commit into
JetBrains:masterfrom
vudaltsov:die-exit-never

Conversation

@vudaltsov
Copy link
Copy Markdown
Contributor

No description provided.

@LolGleb LolGleb self-assigned this May 18, 2026
@LolGleb LolGleb merged commit 87940f2 into JetBrains:master May 18, 2026
13 checks passed
@vudaltsov vudaltsov deleted the die-exit-never branch May 18, 2026 08:41
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