1
Fork 0
This commit is contained in:
klensy 2023-11-21 16:31:40 +03:00
parent b06d5b205c
commit 57c9eb7381
2 changed files with 2 additions and 4 deletions

View file

@ -609,8 +609,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
return false; return false;
} }
let pin_did = self.tcx.lang_items().pin_type(); let pin_did = self.tcx.lang_items().pin_type();
// FIXME: replace mk_box with? // This guards the `new_box` below.
// This guards the `unwrap` and `mk_box` below.
if pin_did.is_none() || self.tcx.lang_items().owned_box().is_none() { if pin_did.is_none() || self.tcx.lang_items().owned_box().is_none() {
return false; return false;
} }

View file

@ -330,8 +330,7 @@ fn equate_impl_headers<'tcx>(
impl1.self_ty, impl1.self_ty,
impl2.self_ty, impl2.self_ty,
), ),
// FIXME: mk_eq_impl_headers fn not exist _ => bug!("equate_impl_headers given mismatched impl kinds"),
_ => bug!("mk_eq_impl_headers given mismatched impl kinds"),
}; };
result.map(|infer_ok| infer_ok.obligations).ok() result.map(|infer_ok| infer_ok.obligations).ok()