diff options
| author | bors <bors@rust-lang.org> | 2024-05-31 10:12:24 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-05-31 10:12:24 +0000 |
| commit | 99cb42c29641aee2cce6521e07960d4de93205c8 (patch) | |
| tree | dcffa6a4fe3c9f4a8ca6ad9989ce73afd7516dbd /compiler/rustc_trait_selection/src/solve | |
| parent | bf8fff783ff533c055d276378ada30563312def1 (diff) | |
| parent | 4903cf4df6f6647177f1645ab17ebab933564949 (diff) | |
| download | rust-99cb42c29641aee2cce6521e07960d4de93205c8.tar.gz rust-99cb42c29641aee2cce6521e07960d4de93205c8.zip | |
Auto merge of #124662 - zetanumbers:needs_async_drop, r=oli-obk
Implement `needs_async_drop` in rustc and optimize async drop glue This PR expands on #121801 and implements `Ty::needs_async_drop` which works almost exactly the same as `Ty::needs_drop`, which is needed for #123948. Also made compiler's async drop code to look more like compiler's regular drop code, which enabled me to write an optimization where types which do not use `AsyncDrop` can simply forward async drop glue to `drop_in_place`. This made size of the async block from the [async_drop test](https://github.com/zetanumbers/rust/blob/67980dd6fb11917d23d01a19c2cf4cfc3978aac8/tests/ui/async-await/async-drop.rs) to decrease by 12%.
Diffstat (limited to 'compiler/rustc_trait_selection/src/solve')
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/normalizes_to/mod.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_trait_selection/src/solve/normalizes_to/mod.rs b/compiler/rustc_trait_selection/src/solve/normalizes_to/mod.rs index f9e164e1f3f..22a77e2ecb8 100644 --- a/compiler/rustc_trait_selection/src/solve/normalizes_to/mod.rs +++ b/compiler/rustc_trait_selection/src/solve/normalizes_to/mod.rs @@ -845,7 +845,7 @@ impl<'tcx> assembly::GoalKind<'tcx> for NormalizesTo<'tcx> { | ty::Str | ty::Slice(_) | ty::Tuple(_) - | ty::Error(_) => self_ty.async_destructor_ty(ecx.interner(), goal.param_env), + | ty::Error(_) => self_ty.async_destructor_ty(ecx.interner()), // We do not call `Ty::async_destructor_ty` on alias, param, or placeholder // types, which return `<self_ty as AsyncDestruct>::AsyncDestructor` |