rust/compiler/rustc_trait_selection/src
bors b7583d38b7 Auto merge of #117712 - lcnr:expand-coroutine, r=jackh726
generator layout: ignore fake borrows

fixes #117059

We emit fake shallow borrows in case the scrutinee place uses a `Deref` and there is a match guard. This is necessary to prevent the match guard from mutating the scrutinee: fab1054e17/compiler/rustc_mir_build/src/build/matches/mod.rs (L1250-L1265)

These fake borrows end up impacting the generator witness computation in `mir_generator_witnesses`, which causes the issue in #117059. This PR now completely ignores fake borrows during this computation. This is sound as thse are always removed after analysis and the actual computation of the generator layout happens afterwards.

Only the second commit impacts behavior, and could be backported by itself.

r? types
2023-11-09 14:23:45 +00:00
..
solve instrument constituent types computation 2023-11-08 12:24:42 +01:00
traits Rollup merge of #117645 - compiler-errors:auto-trait-subst, r=petrochenkov 2023-11-09 11:36:52 +09:00
errors.rs Migrate a trait selection error to use diagnostic translation 2023-08-07 05:26:38 +00:00
infer.rs Remove constness from TraitPredicate 2023-08-02 15:38:00 +00:00
lib.rs rustdoc: remove rust logo from non-Rust crates 2023-10-08 20:17:53 -07:00