diff options
Diffstat (limited to 'src/Interpreter.ml')
| -rw-r--r-- | src/Interpreter.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/Interpreter.ml b/src/Interpreter.ml index 708b1632..2a9db410 100644 --- a/src/Interpreter.ml +++ b/src/Interpreter.ml @@ -673,9 +673,8 @@ let rec apply_proj_borrows (regions : T.RegionId.set_t) (v : V.typed_value) let bv = apply_proj_borrows regions bv ref_ty in V.AIgnoredMutBorrow bv | V.SharedBorrow bid, T.Shared -> - (* TODO *) + (* TODO: we need the context to lookup the value *) raise Unimplemented - (* V.AIgnoredSharedBorrow bid*) | V.InactivatedMutBorrow _, _ -> failwith "Can't apply a proj_borrow over an inactivated mutable borrow" |