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.
38 lines
1.1 KiB
Rust
38 lines
1.1 KiB
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.
|
|
|
|
// Check that we correctly infer that b and c must be region
|
|
// parameterized because they reference a which requires a region.
|
|
|
|
type a<'self> = &'self int;
|
|
type b<'self> = @a<'self>;
|
|
|
|
struct c<'self> {
|
|
f: @b<'self>
|
|
}
|
|
|
|
trait set_f<'self> {
|
|
fn set_f_ok(&self, b: @b<'self>);
|
|
fn set_f_bad(&self, b: @b);
|
|
}
|
|
|
|
impl<'self> set_f<'self> for c<'self> {
|
|
fn set_f_ok(&self, b: @b<'self>) {
|
|
self.f = b;
|
|
}
|
|
|
|
fn set_f_bad(&self, b: @b) {
|
|
self.f = b; //~ ERROR mismatched types: expected `@@&'self int` but found `@@&int`
|
|
//~^ ERROR cannot infer an appropriate lifetime
|
|
}
|
|
}
|
|
|
|
fn main() {}
|