Skip to content

Add never_patterns feature gate#118157

Merged
bors merged 1 commit intorust-lang:masterfrom
Nadrieril:never_pat-feature-gate
Nov 29, 2023
Merged

Add `never_patterns` feature gate#118157
bors merged 1 commit intorust-lang:masterfrom
Nadrieril:never_pat-feature-gate

Commits

Commits on Nov 29, 2023