pub(crate) fn mir_borrowck<'tcx>(
    tcx: TyCtxt<'tcx>,
    def: WithOptConstParam<LocalDefId>
) -> &'tcx BorrowCheckResult<'tcx>