bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Make the lifetime accurate which is used in the region constraints part

Browse source
This commit is contained in:
SparrowLii 2022-04-22 20:05:39 +08:00
parent 5176945ad4
commit 343523cbf1
1 changed files with 3 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

9
compiler/rustc_borrowck/src/constraints/graph.rs
View file

@ -190,7 +190,7 @@ impl<'s, 'tcx, D: ConstraintGraphDirecton> RegionGraph<'s, 'tcx, D> {
/// Given a region `R`, iterate over all regions `R1` such that /// Given a region `R`, iterate over all regions `R1` such that
/// there exists a constraint `R: R1`. /// there exists a constraint `R: R1`.
crate fn outgoing_regions(&self, region_sup: RegionVid) -> Successors<'_, 'tcx, D> { crate fn outgoing_regions(&self, region_sup: RegionVid) -> Successors<'s, 'tcx, D> {
Successors { Successors {
edges: self.constraint_graph.outgoing_edges(region_sup, self.set, self.static_region), edges: self.constraint_graph.outgoing_edges(region_sup, self.set, self.static_region),
} }
@ -225,10 +225,7 @@ impl<'s, 'tcx, D: ConstraintGraphDirecton> graph::WithSuccessors for RegionGraph
} }
} }
impl<'s, 'graph, 'tcx, D: ConstraintGraphDirecton> graph::GraphSuccessors<'graph> impl<'s, 'tcx, D: ConstraintGraphDirecton> graph::GraphSuccessors<'_> for RegionGraph<'s, 'tcx, D> {
for RegionGraph<'s, 'tcx, D>
{
type Item = RegionVid; type Item = RegionVid;
// FIXME - why can't this be `'graph, 'tcx` type Iter = Successors<'s, 'tcx, D>;
type Iter = Successors<'graph, 'graph, D>;
} }