bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

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

Browse source
This commit is contained in:
Oli Scherer 2023-09-11 17:41:10 +00:00
parent f5df26dbec
commit 9a40f1aa13
2 changed files with 2 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

5
compiler/rustc_mir_transform/src/reveal_all.rs
View file

@ -9,11 +9,6 @@ pub struct RevealAll;
impl<'tcx> MirPass<'tcx> for RevealAll { impl<'tcx> MirPass<'tcx> for RevealAll {
fn run_pass(&self, tcx: TyCtxt<'tcx>, body: &mut Body<'tcx>) { 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()); let param_env = tcx.param_env_reveal_all_normalized(body.source.def_id());
RevealAllVisitor { tcx, param_env }.visit_body_preserves_cfg(body); RevealAllVisitor { tcx, param_env }.visit_body_preserves_cfg(body);
} }

3
tests/ui/type-alias-impl-trait/destructure_tait-ice-113594.rs
View file

@ -1,4 +1,5 @@
// build-pass // build-pass
// edition: 2021
#![feature(type_alias_impl_trait)] #![feature(type_alias_impl_trait)]
@ -9,7 +10,7 @@ pub struct Foo {
pub type Tait = impl Sized; 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` // Must destructure at least one field of `Foo`
let Foo { field } = beverage; let Foo { field } = beverage;
_ = field; _ = field;