Skip to content

Commit b4c7d1d

Browse files
committed
fix doc
1 parent 23bc9c6 commit b4c7d1d

File tree

1 file changed

+3
-5
lines changed
  • compiler/rustc_borrowck/src/region_infer

1 file changed

+3
-5
lines changed

compiler/rustc_borrowck/src/region_infer/values.rs

+3-5
Original file line numberDiff line numberDiff line change
@@ -116,17 +116,15 @@ pub(crate) enum RegionElement {
116116
PlaceholderRegion(ty::PlaceholderRegion),
117117
}
118118

119-
/// When we initially compute liveness, we use an interval matrix storing
120-
/// liveness ranges for each region-vid.
119+
/// Records the CFG locations where each region is live. When we initially compute liveness, we use
120+
/// an interval matrix storing liveness ranges for each region-vid.
121121
pub(crate) struct LivenessValues<N: Idx> {
122122
elements: Rc<RegionValueElements>,
123123
points: SparseIntervalMatrix<N, PointIndex>,
124124
}
125125

126126
impl<N: Idx> LivenessValues<N> {
127-
/// Creates a new set of "region values" that tracks causal information.
128-
/// Each of the regions in num_region_variables will be initialized with an
129-
/// empty set of points and no causal information.
127+
/// Create an empty map of regions to locations where they're live.
130128
pub(crate) fn new(elements: Rc<RegionValueElements>) -> Self {
131129
Self { points: SparseIntervalMatrix::new(elements.num_points), elements }
132130
}

0 commit comments

Comments
 (0)