Skip to content

ignore uninhabited non-exhaustive variant fields#65414

Merged
bors merged 1 commit into
rust-lang:masterfrom
davidtwco:issue-65157-non-exhaustive-always-useful
Oct 25, 2019
Merged

ignore uninhabited non-exhaustive variant fields#65414
bors merged 1 commit into
rust-lang:masterfrom
davidtwco:issue-65157-non-exhaustive-always-useful

ignore uninhabited non-exhaustive variant fields

7ffbd62
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs