This repository was archived by the owner on May 28, 2025. It is now read-only.
File tree Expand file tree Collapse file tree 2 files changed +4
-3
lines changed
compiler/rustc_borrowck/src Expand file tree Collapse file tree 2 files changed +4
-3
lines changed Original file line number Diff line number Diff line change @@ -101,7 +101,7 @@ impl<'tcx> OutlivesConstraintSet<'tcx> {
101101 /// eventually go away.
102102 ///
103103 /// For a more precise definition, see the documentation for
104- /// [`RegionTracker::has_incompatible_universes()`] .
104+ /// [`RegionTracker`] and its methods! .
105105 ///
106106 /// This edge case used to be handled during constraint propagation
107107 /// by iterating over the strongly connected components in the constraint
Original file line number Diff line number Diff line change @@ -34,7 +34,6 @@ use crate::member_constraints::{MemberConstraintSet, NllMemberConstraintIndex};
3434use crate :: nll:: PoloniusOutput ;
3535use crate :: region_infer:: reverse_sccs:: ReverseSccGraph ;
3636use crate :: region_infer:: values:: { LivenessValues , RegionElement , RegionValues , ToElementIndex } ;
37- use crate :: type_check:: free_region_relations:: UniversalRegionRelations ;
3837use crate :: type_check:: Locations ;
3938use crate :: type_check:: free_region_relations:: UniversalRegionRelations ;
4039use crate :: universal_regions:: UniversalRegions ;
@@ -2215,7 +2214,7 @@ impl<'tcx> RegionInferenceContext<'tcx> {
22152214 }
22162215
22172216 /// Returns the representative `RegionVid` for a given SCC.
2218- /// See `RegionTracker` for how a region variable ID is chosen.
2217+ /// See [ `RegionTracker`] for how a region variable ID is chosen.
22192218 ///
22202219 /// It is a hacky way to manage checking regions for equality,
22212220 /// since we can 'canonicalize' each region to the representative
@@ -2231,6 +2230,8 @@ impl<'tcx> RegionInferenceContext<'tcx> {
22312230 r == self . universal_regions . fr_static
22322231 }
22332232
2233+ /// If the representative of an SCC is a placeholder, return
2234+ /// its originating `PlaceholderRegion`.
22342235 pub ( crate ) fn placeholder_representative (
22352236 & self ,
22362237 scc : ConstraintSccIndex ,
You can’t perform that action at this time.
0 commit comments