Skip to content

Commit b2559b6

Browse files
committed
temporarily allow access to regioncx internals
Allow access, from the crate, to: - SCCs of outlives constraints - member constraints - liveness values
1 parent 97deff1 commit b2559b6

File tree

1 file changed

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

1 file changed

+3
-3
lines changed

compiler/rustc_borrowck/src/region_infer/mod.rs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -58,7 +58,7 @@ pub struct RegionInferenceContext<'tcx> {
5858
/// regions, these start out empty and steadily grow, though for
5959
/// each universally quantified region R they start out containing
6060
/// the entire CFG and `end(R)`.
61-
liveness_constraints: LivenessValues<RegionVid>,
61+
pub(crate) liveness_constraints: LivenessValues<RegionVid>,
6262

6363
/// The outlives constraints computed by the type-check.
6464
constraints: Frozen<OutlivesConstraintSet<'tcx>>,
@@ -71,15 +71,15 @@ pub struct RegionInferenceContext<'tcx> {
7171
/// The SCC computed from `constraints` and the constraint
7272
/// graph. We have an edge from SCC A to SCC B if `A: B`. Used to
7373
/// compute the values of each region.
74-
constraint_sccs: Rc<Sccs<RegionVid, ConstraintSccIndex>>,
74+
pub(crate) constraint_sccs: Rc<Sccs<RegionVid, ConstraintSccIndex>>,
7575

7676
/// Reverse of the SCC constraint graph -- i.e., an edge `A -> B` exists if
7777
/// `B: A`. This is used to compute the universal regions that are required
7878
/// to outlive a given SCC. Computed lazily.
7979
rev_scc_graph: Option<ReverseSccGraph>,
8080

8181
/// The "R0 member of [R1..Rn]" constraints, indexed by SCC.
82-
member_constraints: Rc<MemberConstraintSet<'tcx, ConstraintSccIndex>>,
82+
pub(crate) member_constraints: Rc<MemberConstraintSet<'tcx, ConstraintSccIndex>>,
8383

8484
/// Records the member constraints that we applied to each scc.
8585
/// This is useful for error reporting. Once constraint

0 commit comments

Comments
 (0)