Guillaume Gomez 3e15f828f6 Rollup merge of #156955 - P8L1:fix-reborrow-promotion-consteval, r=RalfJung ...

Fix const-eval of shared generic reborrows

`Rvalue::Reborrow` const-eval now handles shared generic reborrows produced by `CoerceShared`. Those reborrows intentionally copy from the source ADT into a distinct same-layout target ADT, so the interpreter uses the transmute-capable copy path for `Mutability::Not`.

Promotion is intentionally kept conservative: promotion candidates whose validated temporary graph contains `Rvalue::Reborrow` are rejected, so generic/user-defined reborrows are not promoted.

Fixes rust-lang/rust#156313.
cc @aapoalas
Tracking: rust-lang/rust#145612
@rustbot label F-reborrow

2026-05-27 20:45:13 +02:00

..

src

Rollup merge of #156955 - P8L1:fix-reborrow-promotion-consteval, r=RalfJung

2026-05-27 20:45:13 +02:00

Cargo.toml

Convert to inline diagnostics in rustc_mir_transform

2026-02-04 18:29:47 +01:00