Skip to content

Bump rustc to nightly-2026-05-31#1226

Merged
Nadrieril merged 2 commits into
AeneasVerif:mainfrom
soteria-tools:update-rustc-again
Jun 1, 2026
Merged

Bump rustc to nightly-2026-05-31#1226
Nadrieril merged 2 commits into
AeneasVerif:mainfrom
soteria-tools:update-rustc-again

Add `WithRetag` to `Rvalue::Use`

65dcdb5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
select-dep-versions
succeeded Jun 1, 2026 in 10s