rust/compiler/rustc_ty_utils/src
bors d9a2cc4dae Auto merge of #128506 - compiler-errors:by-move-body, r=cjgillot
Stop storing a special inner body for the coroutine by-move body for async closures

...and instead, just synthesize an item which is treated mostly normally by the MIR pipeline.

This PR does a few things:
* We synthesize a new `DefId` for the by-move body of a closure, which has its `mir_built` fed with the output of the `ByMoveBody` MIR transformation, and some other relevant queries.
* This has the `DefKind::ByMoveBody`, which we use to distinguish it from "real" bodies (that come from HIR) which need to be borrowck'd. Introduce `TyCtxt::is_synthetic_mir` to skip over `mir_borrowck` which is called by `mir_promoted`; borrowck isn't really possible to make work ATM since it heavily relies being called on a body generated from HIR, and is redundant by the construction of the by-move-body.
* Remove the special `PassManager` hacks for handling the inner `by_move_body` stored within the coroutine's mir body. Instead, this body is fed like a regular MIR body, so it's goes through all of the `tcx.*_mir` stages normally (build -> promoted -> ...etc... -> optimized) .
* Remove the `InstanceKind::ByMoveBody` shim, since now we have a "regular" def id, we can just use `InstanceKind::Item`. This also allows us to remove the corresponding hacks from codegen, such as in `fn_sig_for_fn_abi` .

Notable remarks:
* ~~I know it's kind of weird to be using `DefKind::Closure` here, since it's not a distinct closure but just a new MIR body. I don't believe it really matters, but I could also use a different `DefKind`... maybe one that we could use for synthetic MIR bodies in general?~~ edit: We're doing this now.
2024-08-27 23:30:24 +00:00
..
abi.rs Stop using a special inner body for the coroutine by-move body for async closures 2024-08-26 18:44:19 -04:00
assoc.rs address review comments 2024-06-28 15:44:20 +00:00
common_traits.rs Start implementing needs_async_drop and related 2024-05-29 12:50:44 +03:00
consts.rs Use bool in favor of Option<()> for diagnostics 2024-08-21 01:31:11 -04:00
errors.rs Use bool in favor of Option<()> for diagnostics 2024-08-21 01:31:11 -04:00
implied_bounds.rs Stop using a special inner body for the coroutine by-move body for async closures 2024-08-26 18:44:19 -04:00
instance.rs document & impl the transmutation modeled by BikeshedIntrinsicFrom 2024-08-23 14:37:36 +00:00
layout.rs Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errors 2024-08-14 00:56:53 +00:00
layout_sanity_check.rs Use assert_matches around the compiler 2024-08-11 12:25:39 -04:00
lib.rs Use tidy to sort crate attributes for all compiler crates. 2024-06-12 15:49:10 +10:00
needs_drop.rs Fix elided_named_lifetimes in code 2024-08-24 19:21:32 +03:00
opaque_types.rs Stop using a special inner body for the coroutine by-move body for async closures 2024-08-26 18:44:19 -04:00
representability.rs Remove extern crate rustc_middle from rustc_ty_utils. 2024-05-13 08:20:18 +10:00
sig_types.rs Stop using a special inner body for the coroutine by-move body for async closures 2024-08-26 18:44:19 -04:00
structural_match.rs Reformat use declarations. 2024-07-29 08:26:52 +10:00
ty.rs Reformat use declarations. 2024-07-29 08:26:52 +10:00