diff options
Diffstat (limited to 'src/Values.ml')
| -rw-r--r-- | src/Values.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Values.ml b/src/Values.ml index b6866621..c1b84805 100644 --- a/src/Values.ml +++ b/src/Values.ml @@ -192,6 +192,8 @@ type abstract_shared_borrows = abstract_shared_borrow list type aproj = | AProjLoans of symbolic_value | AProjBorrows of symbolic_value * rty + (** Note that an AProjBorrows only operates on a value which is not below + a shared loan: under a shared loan, we use [abstract_shared_borrow]. *) [@@deriving show] type region = RegionVarId.id Types.region [@@deriving show] |