Remove unnecessary generator-check, which also fixes the issue within…

… async functions
rust-lang · Sep 11, 2023 · 6f3bde9 · 6f3bde9
1 parent 97afa07
commit 6f3bde9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 6 deletions.
diff --git a/compiler/rustc_mir_transform/src/reveal_all.rs b/compiler/rustc_mir_transform/src/reveal_all.rs
@@ -9,11 +9,6 @@ pub struct RevealAll;
 
 impl<'tcx> MirPass<'tcx> for RevealAll {
     fn run_pass(&self, tcx: TyCtxt<'tcx>, body: &mut Body<'tcx>) {
-        // Do not apply this transformation to generators.
-        if body.generator.is_some() {
-            return;
-        }
-
         let param_env = tcx.param_env_reveal_all_normalized(body.source.def_id());
         RevealAllVisitor { tcx, param_env }.visit_body_preserves_cfg(body);
     }

diff --git a/tests/ui/type-alias-impl-trait/destructure_tait-ice-113594.rs b/tests/ui/type-alias-impl-trait/destructure_tait-ice-113594.rs
@@ -1,4 +1,5 @@
 // build-pass
+// edition: 2021
 
 #![feature(type_alias_impl_trait)]
 
@@ -9,7 +10,7 @@ pub struct Foo {
 
 pub type Tait = impl Sized;
 
-pub fn ice_cold(beverage: Tait) {
+pub async fn ice_cold(beverage: Tait) {
     // Must destructure at least one field of `Foo`
     let Foo { field } = beverage;
     _ = field;