Skip to content

Commit 9754b3f

Browse files
committed
Document collect_bounding_regions
1 parent f9f3063 commit 9754b3f

File tree

1 file changed

+11
-0
lines changed
  • src/librustc_infer/infer/lexical_region_resolve

1 file changed

+11
-0
lines changed

src/librustc_infer/infer/lexical_region_resolve/mod.rs

+11
Original file line numberDiff line numberDiff line change
@@ -862,6 +862,17 @@ impl<'cx, 'tcx> LexicalResolver<'cx, 'tcx> {
862862
);
863863
}
864864

865+
/// Collects all regions that "bound" the variable `orig_node_idx` in the
866+
/// given direction.
867+
///
868+
/// If `dup_vec` is `Some` it's used to track duplicates between successive
869+
/// calls of this function.
870+
///
871+
/// The return tuple fields are:
872+
/// - a list of all concrete regions bounding the given region.
873+
/// - the set of all region variables bounding the given region.
874+
/// - a `bool` that's true if the returned region variables overlap with
875+
/// those returned by a previous call for another region.
865876
fn collect_bounding_regions(
866877
&self,
867878
graph: &RegionGraph<'tcx>,

0 commit comments

Comments
 (0)