Skip to content

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

Open
N1ark wants to merge 2 commits into
AeneasVerif:mainfrom
soteria-tools:update-rustc-again
Open

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

Conversation

@N1ark
Copy link
Copy Markdown
Contributor

@N1ark N1ark commented Jun 1, 2026

Bump rustc again! Our current toolchain is causing me problems in Obol so i'd like to move on from it quickly 🫠

Relevant PRs:

@N1ark N1ark force-pushed the update-rustc-again branch 5 times, most recently from 85179c4 to a02b36c Compare June 1, 2026 10:02
@N1ark N1ark force-pushed the update-rustc-again branch from a02b36c to 3433cf3 Compare June 1, 2026 10:09
Comment on lines -1040 to +1051
return Ok(Rvalue::Use(Operand::Copy(
p.project(ProjectionElem::PtrMetadata, tgt_ty.clone()),
)));
return Ok(Rvalue::Use(
Operand::Copy(
p.project(ProjectionElem::PtrMetadata, tgt_ty.clone()),
),
WithRetag::No,
));
Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Why not a retag here? The only non-retagging copy is CopyForDeref, no?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants