mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix assertion

Browse Source
This commit is contained in:
bjorn3 2023-11-23 20:36:59 +00:00
parent 988fccb45d
commit 543e559c53
1 changed files with 1 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
compiler/rustc_ty_utils/src/abi.rs
View File

@ -165,19 +165,7 @@ fn fn_sig_for_fn_abi<'tcx>(
let ret_ty = Ty::new_adt(tcx, option_adt_ref, option_args); let ret_ty = Ty::new_adt(tcx, option_adt_ref, option_args);
assert_eq!(sig.return_ty, tcx.types.unit); assert_eq!(sig.return_ty, tcx.types.unit);
assert_eq!(sig.resume_ty, tcx.types.unit);
// We have to replace the `ResumeTy` that is used for type and borrow checking
// with `()` which is used in codegen.
#[cfg(debug_assertions)]
{
if let ty::Adt(resume_ty_adt, _) = sig.resume_ty.kind() {
let expected_adt =
tcx.adt_def(tcx.require_lang_item(LangItem::ResumeTy, None));
assert_eq!(*resume_ty_adt, expected_adt);
} else {
panic!("expected `ResumeTy`, found `{:?}`", sig.resume_ty);
};
}
(None, ret_ty) (None, ret_ty)
} }