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

Commits

Commits on Feb 1, 2024