Skip to main content

## ty_known_to_outlive

# Function ty_known_to_outlive

Source

    fn ty_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`.