Stabilize #[non_exhaustive]
(RFC 2008)#64639
Merged
bors merged 1 commit intorust-lang:masterfrom davidtwco:rfc-2008-stabilizationOct 25, 2019
+30-155
Commits
Commits on Oct 25, 2019
- committed
#[non_exhaustive]
(RFC 2008)#64639