diff options
| author | Nadrieril | 2024-06-25 13:57:52 +0200 |
|---|---|---|
| committer | Nadrieril | 2024-06-25 13:57:52 +0200 |
| commit | 09c02a7b56575e826c66a6c8873b290a8afb5827 (patch) | |
| tree | d21dff54ca74be195f7e16ac56258b655b7663b8 /compiler | |
| parent | 59ee1eb89d7c1018858250832ff1a92af0cbeab6 (diff) | |
Update charon
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/RegionsHierarchy.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/compiler/RegionsHierarchy.ml b/compiler/RegionsHierarchy.ml index 6c5253b8..61fa37d9 100644 --- a/compiler/RegionsHierarchy.ml +++ b/compiler/RegionsHierarchy.ml @@ -148,9 +148,7 @@ let compute_regions_hierarchy_for_sig (span : Meta.span option) let subst = Subst.make_subst_from_generics decl.generics generics tr_self in - let predicates = - Subst.generic_params_substitute subst decl.generics - in + let predicates = Subst.predicates_substitute subst decl.generics in (* Note that because we also explore the generics below, we may explore several times the same type - this is ok *) List.iter |