Skip to content

Update the comment on simpler exhaustive matching in derive#2388

Merged
dtolnay merged 1 commit intomasterfrom
exhaustivepatterns
Mar 8, 2023
Merged

Update the comment on simpler exhaustive matching in derive#2388
dtolnay merged 1 commit intomasterfrom
exhaustivepatterns

Conversation

@dtolnay
Copy link
Copy Markdown
Member

@dtolnay dtolnay commented Mar 8, 2023

The code in these comments was supported without a feature gate in rustc 1.15.0-nightly at the time that the comments got added in #678, but was later feature gated behind feature(never_type) by rust-lang/rust#39290, then by feature(exhaustive_patterns) in rust-lang/rust#47630.

Closes #2379.

@dtolnay dtolnay merged commit 1ff2a97 into master Mar 8, 2023
@dtolnay dtolnay deleted the exhaustivepatterns branch March 8, 2023 19:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant