Function mir_borrowck_implied_outlives_bounds 

pub(crate) fn mir_borrowck_implied_outlives_bounds<'tcx>(
    tcx: TyCtxt<'tcx>,
    body_def_id: LocalDefId,
) -> Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, MirBorrowckImpliedOutlivesBounds<'tcx>>>, NoSolution>

Computes the implied bounds for body_def_id. This is a separate query as it must not reveal the hidden type of opaques defined by body_def_id for typeck roots.

However, nested bodies are checked in the scope of their parent. This means we should actually normalize opaques when computing their implied bounds.