diff --git a/src/librustc/middle/typeck/check/regionck.rs b/src/librustc/middle/typeck/check/regionck.rs index 4c36a935dee3..d8da67fff7fa 100644 --- a/src/librustc/middle/typeck/check/regionck.rs +++ b/src/librustc/middle/typeck/check/regionck.rs @@ -299,7 +299,7 @@ pub fn regionck_expr(fcx: &FnCtxt, e: &ast::Expr) { // regionck assumes typeck succeeded rcx.visit_expr(e, ()); } - fcx.infcx().resolve_regions(); + fcx.infcx().resolve_regions_and_report_errors(); } pub fn regionck_fn(fcx: &FnCtxt, blk: &ast::Block) { @@ -309,7 +309,7 @@ pub fn regionck_fn(fcx: &FnCtxt, blk: &ast::Block) { // regionck assumes typeck succeeded rcx.visit_block(blk, ()); } - fcx.infcx().resolve_regions(); + fcx.infcx().resolve_regions_and_report_errors(); } impl<'a> Visitor<()> for Rcx<'a> { diff --git a/src/librustc/middle/typeck/infer/mod.rs b/src/librustc/middle/typeck/infer/mod.rs index 20bd47b3022a..c10ab5205d9b 100644 --- a/src/librustc/middle/typeck/infer/mod.rs +++ b/src/librustc/middle/typeck/infer/mod.rs @@ -644,7 +644,7 @@ impl<'a> InferCtxt<'a> { self.region_vars.new_bound(binder_id) } - pub fn resolve_regions(&self) { + pub fn resolve_regions_and_report_errors(&self) { let errors = self.region_vars.resolve_regions(); self.report_region_errors(&errors); // see error_reporting.rs }