return an empty inferred_outlives_of

diff --git a/src/librustc_typeck/collect.rs b/src/librustc_typeck/collect.rs
index 25a37a2c48cdbc99dd50262df65b75ac22fce665..9a66f07cba4991a90c8becc07da6ae89d131c092 100644 (file)
--- 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<ty::Predicate<'tcx>> {
+    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>,