File tree 2 files changed +4
-2
lines changed
compiler/rustc_borrowck/src
2 files changed +4
-2
lines changed Original file line number Diff line number Diff line change @@ -100,7 +100,7 @@ impl<'tcx> OutlivesConstraintSet<'tcx> {
100
100
/// eventually go away.
101
101
///
102
102
/// For a more precise definition, see the documentation for
103
- /// [`RegionTracker::has_incompatible_universes()`] .
103
+ /// [`RegionTracker`] and its methods! .
104
104
///
105
105
/// This edge case used to be handled during constraint propagation
106
106
/// by iterating over the strongly connected components in the constraint
Original file line number Diff line number Diff line change @@ -2213,7 +2213,7 @@ impl<'tcx> RegionInferenceContext<'tcx> {
2213
2213
}
2214
2214
2215
2215
/// Returns the representative `RegionVid` for a given SCC.
2216
- /// See `RegionTracker` for how a region variable ID is chosen.
2216
+ /// See [ `RegionTracker`] for how a region variable ID is chosen.
2217
2217
///
2218
2218
/// It is a hacky way to manage checking regions for equality,
2219
2219
/// since we can 'canonicalize' each region to the representative
@@ -2229,6 +2229,8 @@ impl<'tcx> RegionInferenceContext<'tcx> {
2229
2229
r == self . universal_regions . fr_static
2230
2230
}
2231
2231
2232
+ /// If the representative of an SCC is a placeholder, return
2233
+ /// its originating `PlaceholderRegion`.
2232
2234
pub ( crate ) fn placeholder_representative (
2233
2235
& self ,
2234
2236
scc : ConstraintSccIndex ,
You can’t perform that action at this time.
0 commit comments