Skip to content

Ignore new dead code warning from rustc nightly-2025-07-14#423

Merged
dtolnay merged 1 commit intomasterfrom
deadplaceholder
Jul 14, 2025
Merged

Ignore new dead code warning from rustc nightly-2025-07-14#423
dtolnay merged 1 commit intomasterfrom
deadplaceholder

Commits

Commits on Jul 14, 2025