dnrops
/
rust
mirror of https://github.com/rust-lang/rust.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Simplify implicit resume argument

This commit is contained in:
Jonas Schievink 2020-02-06 12:27:35 +01:00
parent fb66b9ee3b
commit 84dd07a2c4
1 changed files with 3 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/librustc_mir_build/build/mod.rs
View File

@ -83,21 +83,15 @@ fn mir_build(tcx: TyCtxt<'_>, def_id: DefId) -> BodyAndCache<'_> {
abi = Abi::Rust;
vec![ArgInfo(liberated_closure_env_ty(tcx, id, body_id), None, None, None)]
}
ty::Generator(def_id, _, _) => {
ty::Generator(..) => {
let gen_ty = tcx.body_tables(body_id).node_type(id);
// The resume argument may be missing, in that case we need to provide it here.
// It will always be `()` in this case.
if body.params.is_empty() {
let resume_ty = match gen_ty.kind {
ty::Generator(_, substs, _) => {
substs.as_generator().resume_ty(def_id, tcx)
}
_ => bug!(),
};
vec![
ArgInfo(gen_ty, None, None, None),
ArgInfo(resume_ty, None, None, None),
ArgInfo(tcx.mk_unit(), None, None, None),
]
} else {
vec![ArgInfo(gen_ty, None, None, None)]