bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Use the right type for upvars

Browse source
This commit is contained in:
Michael Goulet 2023-12-30 16:32:44 +00:00
parent 07adee7072
commit 847cd6c9de
1 changed files with 4 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

10
compiler/rustc_middle/src/ty/instance.rs
View file

@ -661,12 +661,10 @@ fn polymorphize<'tcx>(
// the unpolymorphized upvar closure would result in a polymorphized closure producing // the unpolymorphized upvar closure would result in a polymorphized closure producing
// multiple mono items (and eventually symbol clashes). // multiple mono items (and eventually symbol clashes).
let def_id = instance.def_id(); let def_id = instance.def_id();
let upvars_ty = if tcx.is_closure_or_coroutine(def_id) { let upvars_ty = match tcx.type_of(def_id).skip_binder().kind() {
Some(args.as_closure().tupled_upvars_ty()) ty::Closure(..) => Some(args.as_closure().tupled_upvars_ty()),
} else if tcx.type_of(def_id).skip_binder().is_coroutine() { ty::Coroutine(..) => Some(args.as_coroutine().tupled_upvars_ty()),
Some(args.as_coroutine().tupled_upvars_ty()) _ => None,
} else {
None
}; };
let has_upvars = upvars_ty.is_some_and(|ty| !ty.tuple_fields().is_empty()); let has_upvars = upvars_ty.is_some_and(|ty| !ty.tuple_fields().is_empty());
debug!("polymorphize: upvars_ty={:?} has_upvars={:?}", upvars_ty, has_upvars); debug!("polymorphize: upvars_ty={:?} has_upvars={:?}", upvars_ty, has_upvars);