pub(super) fn enter_wf_checking_ctxt<'tcx, F>(
    tcx: TyCtxt<'tcx>,
    span: Span,
    body_def_id: LocalDefId,
    f: F
)where
    F: for<'a> FnOnce(&WfCheckingCtxt<'a, 'tcx>),