Commits on Jan 19, 2023

1. Transform async ResumeTy in generator transform …

   - Eliminates all the `get_context` calls that async lowering created.
   - Replace all `Local` `ResumeTy` types with `&mut Context<'_>`.
   
   The `Local`s that have their types replaced are:
   - The `resume` argument itself.
   - The argument to `get_context`.
   - The yielded value of a `yield`.
   
   The `ResumeTy` hides a `&mut Context<'_>` behind an unsafe raw pointer, and the
   `get_context` function is being used to convert that back to a `&mut Context<'_>`.
   
   Ideally the async lowering would not use the `ResumeTy`/`get_context` indirection,
   but rather directly use `&mut Context<'_>`, however that would currently
   lead to higher-kinded lifetime errors.
   See <rust-lang#105501>.
   
   The async lowering step and the type / lifetime inference / checking are
   still using the `ResumeTy` indirection for the time being, and that indirection
   is removed here. After this transform, the generator body only knows about `&mut Context<'_>`.

   

   Swatinem committed Jan 19, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for 96931a7
   • Browse repository at this point

   Copy the full SHA

   96931a7 View commit details

   Browse the repository at this point in the history