Skip to content

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

Merged
dtolnay merged 1 commit into
masterfrom
deadplaceholder
Jul 14, 2025
Merged

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

Commits

Commits on Jul 14, 2025