diff options
| author | Santiago Pastorino <spastorino@gmail.com> | 2017-10-10 14:25:04 -0300 |
|---|---|---|
| committer | Paul Daniel Faria <pfaria@localhost.localdomain> | 2017-10-13 08:42:54 -0400 |
| commit | 3372b899d894a4f5c05f6deaa25889b384a4a12f (patch) | |
| tree | a026d80a4541e54aeeff6469fd752fc6db14b6f0 | |
| parent | cc2a1c7bd8e3271919dad8719e53c9d3ff007e2a (diff) | |
| download | rust-3372b899d894a4f5c05f6deaa25889b384a4a12f.tar.gz rust-3372b899d894a4f5c05f6deaa25889b384a4a12f.zip | |
Mark free regions handling as TODO
| -rw-r--r-- | src/librustc_mir/transform/nll/infer.rs | 19 |
1 files 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); } |