Function ty_known_to_outlive

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

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