Skip to content

Feature gate the non_exhaustive_omitted_patterns lint#89428

Merged
bors merged 1 commit intorust-lang:masterfrom
DevinR528:reachable-featuregate
Oct 10, 2021
Merged

Feature gate the non_exhaustive_omitted_patterns lint#89428
bors merged 1 commit intorust-lang:masterfrom
DevinR528:reachable-featuregate

Commits

Commits on Oct 8, 2021