Skip to content

Correctly check never_type feature gating#120552

Merged
bors merged 2 commits intorust-lang:masterfrom
GuillaumeGomez:never-type-feature-gate
Feb 5, 2024
Merged

Correctly check `never_type` feature gating#120552
bors merged 2 commits intorust-lang:masterfrom
GuillaumeGomez:never-type-feature-gate

Commits

Commits on Feb 1, 2024