Skip to content

Use #[non_exhaustive] where appropriate#86592

Merged
bors merged 1 commit intorust-lang:masterfrom
jhpratt:non_exhaustive
Jun 25, 2021
Merged

Use `#[non_exhaustive]` where appropriate#86592
bors merged 1 commit intorust-lang:masterfrom
jhpratt:non_exhaustive

Commits

Commits on Jun 24, 2021