Skip to main content

args_known_to_outlive_alias_params

rustc_trait_selection::traits::outlives_for_liveness

Function args_known_to_outlive_alias_params 

Source 
pub(crate) fn args_known_to_outlive_alias_params<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: LocalDefId,
) -> EarlyBinder<'tcx, Vec<(Region<'tcx>, Vec<GenericArg<'tcx>>)>>
Expand description

For each region param of this alias compute the identity args that are known to outlive it, given only the alias’s declared where-clauses.

Note: for opaques (including synthetic associated types from RPITITs), the outlives relationships are identified in the context of the parent, since bounds and well-formed types are not lowered.