OpenE2K/rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

convert TODO in traits into a FIXME

Browse Source
This commit is contained in:
Niko Matsakis 2017-11-07 05:54:31 -05:00
parent 013f88b9fb
commit 267574c8df
1 changed files with 8 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
src/librustc/traits/mod.rs
View File

@ -538,11 +538,14 @@ pub fn normalize_param_env_or_error<'a, 'tcx>(tcx: TyCtxt<'a, 'tcx, 'tcx>,
let region_scope_tree = region::ScopeTree::default(); let region_scope_tree = region::ScopeTree::default();
let free_regions = FreeRegionMap::new(); let free_regions = FreeRegionMap::new();
// TODO We should really... do something with these. But as of // FIXME. We should really... do something with these region
// this writing we were ignoring them, just without knowing // obligations. But this call just continues the older
// it, and it would take some refactoring to stop doing so. // behavior (i.e., doesn't cause any new bugs), and it would
// (In particular, the needed methods currently live in // take some further refactoring to actually solve them. In
// regionck.) -nmatsakis // particular, we would have to handle implied bounds
// properly, and that code is currently largely confined to
// regionck (though I made some efforts to extract it
// out). -nmatsakis
let _ = infcx.ignore_region_obligations(body_id); let _ = infcx.ignore_region_obligations(body_id);
infcx.resolve_regions_and_report_errors(region_context, &region_scope_tree, &free_regions); infcx.resolve_regions_and_report_errors(region_context, &region_scope_tree, &free_regions);