mirror of
https://github.com/rust-lang/rust.git
synced 2025-06-22 04:27:33 +00:00
d9a2cc4dae
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. |
||
|---|---|---|
| .. | ||
| call.rs | ||
| cast.rs | ||
| discriminant.rs | ||
| eval_context.rs | ||
| intern.rs | ||
| intrinsics.rs | ||
| machine.rs | ||
| memory.rs | ||
| mod.rs | ||
| operand.rs | ||
| operator.rs | ||
| place.rs | ||
| projection.rs | ||
| stack.rs | ||
| step.rs | ||
| traits.rs | ||
| util.rs | ||
| validity.rs | ||
| visitor.rs | ||