9e6d5e152e
This patch makes error handling for region inference failures more uniform by not reporting *any* region errors until the reigon inference step. This requires threading through more information about what caused a region constraint, so that we can still give informative error messages. I have only taken partial advantage of this information: when region inference fails, we still report the same error we always did, despite the fact that we now know precisely what caused the various constriants and what the region variable represents, which we did not know before. This change is required not only to improve error messages but because the region hierarchy is not in fact fully known until regionck, because it is not clear where closure bodies fit in (our current treatment is unsound). Moreover, the relationships between free variables cannot be fully determined until type inference is otherwise complete. cc #3238.
32 lines
934 B
Rust
32 lines
934 B
Rust
// Copyright 2012 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 <LICENSE-APACHE or
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
// option. This file may not be copied, modified, or distributed
|
|
// except according to those terms.
|
|
|
|
fn ignore<T>(t: T) {}
|
|
|
|
fn nested<'x>(x: &'x int) {
|
|
let y = 3;
|
|
let mut ay = &y; //~ ERROR cannot infer an appropriate lifetime
|
|
|
|
ignore::<&fn<'z>(&'z int)>(|z| {
|
|
ay = x;
|
|
ay = &y;
|
|
ay = z;
|
|
});
|
|
|
|
ignore::<&fn<'z>(&'z int) -> &'z int>(|z| {
|
|
if false { return x; } //~ ERROR mismatched types
|
|
//~^ ERROR cannot infer an appropriate lifetime
|
|
if false { return ay; }
|
|
return z;
|
|
});
|
|
}
|
|
|
|
fn main() {}
|