diff options
| author | Son Ho | 2022-01-19 01:57:05 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-19 01:57:05 +0100 |
| commit | 62a6cc50a80a499f39ba83a7810e2c94f595b421 (patch) | |
| tree | cbf5f2f59ac59e11d75f11348d92d61b41e5e29b /src/InterpreterBorrows.ml | |
| parent | 2c93d514d6d62f8eccba47b1efefa2db1e56954e (diff) | |
Implement ty_has_borrow_under_mut
Diffstat (limited to '')
| -rw-r--r-- | src/InterpreterBorrows.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/InterpreterBorrows.ml b/src/InterpreterBorrows.ml index 034d566a..6f469044 100644 --- a/src/InterpreterBorrows.ml +++ b/src/InterpreterBorrows.ml @@ -458,7 +458,7 @@ let give_back_symbolic_value (_config : C.config) * meaning the given back value can't have borrows below mutable * borrows. *) let has_borrow_below_mut = - ty_has_borrow_below_mut ctx.type_context.type_infos nsv.sv_ty + ty_has_borrow_under_mut ctx.type_context.type_infos nsv.sv_ty in assert (not has_borrow_below_mut); (* We don't allow overwrites: we must thus not project over the |