region_known_to_outlive in rustc_hir_analysis::check::wfcheck - Rust
Description: Given a known `param_env` and a set of well formed types, can we prove that `region_a` outlives `region_b`

Skip to main content

## region_known_to_outlive

# Function region_known_to_outlive

Source

    fn region_known_to_outlive<'tcx>(
        tcx: TyCtxt<'tcx>,
        id: LocalDefId,
        param_env: ParamEnv<'tcx>,
        wf_tys: &FxIndexSet<Ty<'tcx>>,
        region_a: Region<'tcx>,
        region_b: Region<'tcx>,
    ) -> bool

Expand description

Given a known `param_env` and a set of well formed types, can we prove that `region_a` outlives `region_b`