Function mir_borrowck_implied_outlives_bounds 

fn mir_borrowck_implied_outlives_bounds<'tcx>() -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, MirBorrowckImpliedOutlivesBounds<'tcx>>>, NoSolution>