diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/TypesUtils.ml | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/src/TypesUtils.ml b/src/TypesUtils.ml index 431ae8d8..10bd286c 100644 --- a/src/TypesUtils.ml +++ b/src/TypesUtils.ml @@ -1,5 +1,6 @@ open Types open Utils +module TA = TypesAnalysis (** Retrieve the list of fields for the given variant of a [type_def]. @@ -114,6 +115,26 @@ let ty_has_regions (ty : 'r ty) : bool = false with Found -> true +(** Retuns true if a type contains borrows. + + Note that we can't simply explore the type and look for regions: sometimes + we erase the lists of regions (by replacing them with `[]` when using `ety`, + and when a type uses 'static this region doesn't appear in the region parameters. + *) +let ty_has_borrows (infos : TA.type_infos) (ty : 'r ty) : bool = + let info = TA.analyze_ty infos ty in + info.TA.contains_borrow + +(** Retuns true if a type contains nested borrows. + + Note that we can't simply explore the type and look for regions: sometimes + we erase the lists of regions (by replacing them with `[]` when using `ety`, + and when a type uses 'static this region doesn't appear in the region parameters. + *) +let ty_has_nested_borrows (infos : TA.type_infos) (ty : 'r ty) : bool = + let info = TA.analyze_ty infos ty in + info.TA.contains_nested_borrows + (** Check if a [ty] contains regions from a given set *) let ty_has_regions_in_set (rset : RegionId.Set.t) (ty : rty) : bool = let obj = |