From b287f234695d9013cb74c99dcac46a9b5b334f7c Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 20 Jun 2024 16:46:29 +0200
Subject: `predicates` got merged into `generic_params`

---
 compiler/Assumed.ml | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

(limited to 'compiler/Assumed.ml')

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;
-- 
cgit v1.2.3