diff options
author | Nadrieril | 2024-06-20 16:46:29 +0200 |
---|---|---|
committer | Nadrieril | 2024-06-21 09:34:38 +0200 |
commit | b287f234695d9013cb74c99dcac46a9b5b334f7c (patch) | |
tree | 9dcfe67426cd7ae423c0205cee2298132f2fcdab /compiler/Assumed.ml | |
parent | aa8e74197687ecc6d8f925babc8ba3cd6c739990 (diff) |
`predicates` got merged into `generic_params`
Diffstat (limited to '')
-rw-r--r-- | compiler/Assumed.ml | 14 |
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; |