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