Skip to content

Use #[non_exhaustive] where appropriate#86592

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

Commits

Commits on Jun 24, 2021