diff --git a/src/librustc/middle/typeck/check/regionck.rs b/src/librustc/middle/typeck/check/regionck.rs index 8cd8a6aa051..843d6a582ea 100644 --- a/src/librustc/middle/typeck/check/regionck.rs +++ b/src/librustc/middle/typeck/check/regionck.rs @@ -1064,6 +1064,10 @@ fn constrain_callee(rcx: &mut Rcx, }; rcx.fcx.mk_subr(infer::InvokeClosure(callee_expr.span), call_region, region); + + let region = closure_ty.bounds.region_bound; + rcx.fcx.mk_subr(infer::InvokeClosure(callee_expr.span), + call_region, region); } _ => { // this should not happen, but it does if the program is diff --git a/src/test/compile-fail/region-bound-on-closure-outlives-call.rs b/src/test/compile-fail/region-bound-on-closure-outlives-call.rs new file mode 100644 index 00000000000..13ab7acaf48 --- /dev/null +++ b/src/test/compile-fail/region-bound-on-closure-outlives-call.rs @@ -0,0 +1,16 @@ +// Copyright 2014 The Rust Project Developers. See the COPYRIGHT +// file at the top-level directory of this distribution and at +// http://rust-lang.org/COPYRIGHT. +// +// Licensed under the Apache License, Version 2.0 or the MIT license +// , at your +// option. This file may not be copied, modified, or distributed +// except according to those terms. + +fn call_rec(f: |uint| -> uint) -> uint { + (|x| f(x))(call_rec(f)) //~ ERROR cannot move out of `f` +} + +fn main() {} +