Skip to main content

param_known_to_outlive

rustc_trait_selection::traits::outlives_for_liveness

Function param_known_to_outlive 

Source 
fn param_known_to_outlive<'tcx>(
    tcx: TyCtxt<'tcx>,
    id: LocalDefId,
    param_env: ParamEnv<'tcx>,
    wf_tys: &FxIndexSet<Ty<'tcx>>,
    ty: Ty<'tcx>,
    region: Region<'tcx>,
) -> bool
Expand description

Given a known param_env and a set of well formed types, can we prove that ty outlives region.

Copied from ty_known_to_outlive without normalization for ty because we don’t want trait solving in liveness queries.