Merge pull request #253 from Nadrieril/merge-preds-into-params

1 files changed, 9 insertions, 5 deletions

diff --git a/compiler/Assumed.ml b/compiler/Assumed.ml
index 1807add5..1720b132 100644
--- a/compiler/Assumed.ml
+++ b/compiler/Assumed.ml
@@ -66,7 +66,15 @@ module Sig = struct
     { regions; types; const_generics; trait_refs = [] }
 
   let mk_generic_params regions types const_generics : generic_params =
-    { regions; types; const_generics; trait_clauses = [] }
+    {
+      regions;
+      types;
+      const_generics;
+      trait_clauses = [];
+      regions_outlive = [];
+      types_outlive = [];
+      trait_type_constraints = [];
+    }
 
   let mk_ref_ty (r : region) (ty : ty) (is_mut : bool) : ty =
     let ref_kind = if is_mut then RMut else RShared in
@@ -79,15 +87,11 @@ module Sig = struct
     TAdt (TAssumed TSlice, mk_generic_args [] [ ty ] [])
 
   let mk_sig generics inputs output : fun_sig =
-    let preds : predicates =
-      { regions_outlive = []; types_outlive = []; trait_type_constraints = [] }
-    in
     {
       is_unsafe = false;
       is_closure = false;
       closure_info = None;
       generics;
-      preds;
       parent_params_info = None;
       inputs;
       output;