Auto merge of #104180 - fee1-dead-contrib:fix-wf-fndef, r=oli-obk

Use `nominal_obligations_without_const` in wf for FnDef

Fixes #104155.
This commit is contained in:
bors 2022-11-09 07:37:49 +00:00
commit d22c43389d
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() {}