Skip to content

Conversation

@dtolnay
Copy link
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.

2 participants