diff options
| author | Son Ho | 2022-01-18 23:03:55 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-18 23:03:55 +0100 |
| commit | c0f230dc6c331e9eb120900e8c31a03e1f5ab476 (patch) | |
| tree | 16ff97c6af5e85baab2e7f1af5456bd2854e057b /src/InterpreterStatements.ml | |
| parent | cdef093fedaadcc5694cb9f7d63a4bf9814d5573 (diff) | |
Remove ty_has_regions and use ty_has_borrows instead
Diffstat (limited to '')
| -rw-r--r-- | src/InterpreterStatements.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/InterpreterStatements.ml b/src/InterpreterStatements.ml index 85c3acb4..74886bf9 100644 --- a/src/InterpreterStatements.ml +++ b/src/InterpreterStatements.ml @@ -945,7 +945,10 @@ and eval_non_local_function_call_symbolic (config : C.config) (ctx : C.eval_ctx) C.eval_ctx = (* Sanity check: make sure the type parameters don't contain regions - * this is a current limitation of our synthesis *) - assert (List.for_all (fun ty -> not (ty_has_regions ty)) type_params); + assert ( + List.for_all + (fun ty -> not (ty_has_borrows ctx.type_context.type_infos ty)) + type_params); (* There are two cases (and this is extremely annoying): - the function is not box_free |