Use nominal_obligations_without_const in wf for FnDef

This commit is contained in:
Deadbeef 2022-11-09 02:08:22 +00:00
parent 85f4f41deb
commit b3a328eecf
2 changed files with 6 additions and 1 deletions

View File

@ -547,7 +547,7 @@ impl<'tcx> WfPredicates<'tcx> {
}
ty::FnDef(did, substs) => {
let obligations = self.nominal_obligations(did, substs);
let obligations = self.nominal_obligations_without_const(did, substs);
self.out.extend(obligations);
}

View File

@ -0,0 +1,5 @@
// check-pass
const _: () = core::mem::forget(Box::<u32>::default);
const _: () = core::mem::forget(|| Box::<u32>::default());
fn main() {}