From 3372b899d894a4f5c05f6deaa25889b384a4a12f Mon Sep 17 00:00:00 2001 From: Santiago Pastorino Date: Tue, 10 Oct 2017 14:25:04 -0300 Subject: [PATCH] Mark free regions handling as TODO --- src/librustc_mir/transform/nll/infer.rs | 19 ++++++++++--------- 1 file changed, 10 insertions(+), 9 deletions(-) diff --git a/src/librustc_mir/transform/nll/infer.rs b/src/librustc_mir/transform/nll/infer.rs index e5d8b2e1379..3ffe6b9f4fc 100644 --- a/src/librustc_mir/transform/nll/infer.rs +++ b/src/librustc_mir/transform/nll/infer.rs @@ -184,18 +184,19 @@ impl<'a, 'gcx: 'tcx, 'tcx: 'a> Dfs<'a, 'gcx, 'tcx> { }; if successor_points.is_empty() { + // TODO handle free regions // If we reach the END point in the graph, then copy // over any skolemized end points in the `from_region` // and make sure they are included in the `to_region`. - for region_decl in self.infcx.tcx.tables.borrow().free_region_map() { - // TODO(nashenas88) figure out skolemized_end points - let block = self.env.graph.skolemized_end(region_decl.name); - let skolemized_end_point = Location { - block, - statement_index: 0, - }; - changed |= to_region.add_point(skolemized_end_point); - } + // for region_decl in self.infcx.tcx.tables.borrow().free_region_map() { + // // TODO(nashenas88) figure out skolemized_end points + // let block = self.env.graph.skolemized_end(region_decl.name); + // let skolemized_end_point = Location { + // block, + // statement_index: 0, + // }; + // changed |= to_region.add_point(skolemized_end_point); + // } } else { stack.extend(successor_points); }