From f01ee857a301e203ab960b50c85ac0c370eb1adc Mon Sep 17 00:00:00 2001 From: toidiu Date: Tue, 26 Sep 2017 00:36:38 -0400 Subject: [PATCH] return an empty inferred_outlives_of --- src/librustc_typeck/collect.rs | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/src/librustc_typeck/collect.rs b/src/librustc_typeck/collect.rs index 25a37a2c48c..9a66f07cba4 100644 --- a/src/librustc_typeck/collect.rs +++ b/src/librustc_typeck/collect.rs @@ -1329,10 +1329,21 @@ fn early_bound_lifetimes_from_generics<'a, 'tcx>( }) } +//todo +fn inferred_outlives_of<'a, 'tcx>(_tcx: TyCtxt<'a, 'tcx, 'tcx>, + _def_id: DefId) + -> Vec> { + Vec::new() +} + fn predicates_of<'a, 'tcx>(tcx: TyCtxt<'a, 'tcx, 'tcx>, def_id: DefId) -> ty::GenericPredicates<'tcx> { - explicit_predicates_of(tcx, def_id) + let explicit = explicit_predicates_of(tcx, def_id); + ty::GenericPredicates { + parent: explicit.parent, + predicates: [&explicit.predicates[..], &inferred_outlives_of(tcx, def_id)[..]].concat() + } } fn explicit_predicates_of<'a, 'tcx>(tcx: TyCtxt<'a, 'tcx, 'tcx>,