Skip to content

Commit 3372b89

Browse files
spastorinoPaul Daniel Faria
authored andcommitted
Mark free regions handling as TODO
1 parent cc2a1c7 commit 3372b89

File tree

1 file changed

+10
-9
lines changed

1 file changed

+10
-9
lines changed

src/librustc_mir/transform/nll/infer.rs

Lines changed: 10 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -184,18 +184,19 @@ impl<'a, 'gcx: 'tcx, 'tcx: 'a> Dfs<'a, 'gcx, 'tcx> {
184184
};
185185

186186
if successor_points.is_empty() {
187+
// TODO handle free regions
187188
// If we reach the END point in the graph, then copy
188189
// over any skolemized end points in the `from_region`
189190
// and make sure they are included in the `to_region`.
190-
for region_decl in self.infcx.tcx.tables.borrow().free_region_map() {
191-
// TODO(nashenas88) figure out skolemized_end points
192-
let block = self.env.graph.skolemized_end(region_decl.name);
193-
let skolemized_end_point = Location {
194-
block,
195-
statement_index: 0,
196-
};
197-
changed |= to_region.add_point(skolemized_end_point);
198-
}
191+
// for region_decl in self.infcx.tcx.tables.borrow().free_region_map() {
192+
// // TODO(nashenas88) figure out skolemized_end points
193+
// let block = self.env.graph.skolemized_end(region_decl.name);
194+
// let skolemized_end_point = Location {
195+
// block,
196+
// statement_index: 0,
197+
// };
198+
// changed |= to_region.add_point(skolemized_end_point);
199+
// }
199200
} else {
200201
stack.extend(successor_points);
201202
}

0 commit comments

Comments
 (0)