Skip to content

Conversation

@dtolnay
Copy link
Owner

@dtolnay dtolnay commented Jan 24, 2021

Closes #694.

@dtolnay dtolnay merged commit 8d62642 into master Jan 24, 2021
@dtolnay dtolnay deleted the testexhaustive branch January 24, 2021 08:40
Repository owner locked and limited conversation to collaborators Jan 24, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

RFC: exhaustive matching idiom

2 participants