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.
34 lines
971 B
Rust
34 lines
971 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.
|
|
|
|
// Covariant with respect to a region:
|
|
//
|
|
// You can upcast to a *larger region* but not a smaller one.
|
|
|
|
struct covariant<'self> {
|
|
f: @fn(x: &'self int) -> int
|
|
}
|
|
|
|
fn to_same_lifetime<'r>(bi: covariant<'r>) {
|
|
let bj: covariant<'r> = bi;
|
|
}
|
|
|
|
fn to_shorter_lifetime<'r>(bi: covariant<'r>) {
|
|
let bj: covariant<'blk> = bi; //~ ERROR mismatched types
|
|
//~^ ERROR cannot infer an appropriate lifetime
|
|
}
|
|
|
|
fn to_longer_lifetime<'r>(bi: covariant<'r>) -> covariant<'static> {
|
|
bi
|
|
}
|
|
|
|
fn main() {
|
|
}
|