@@ -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