]> git.lizzy.rs Git - rust.git/commit
Support lifetime suggestion for method
authorKiet Tran <ktt3ja@gmail.com>
Wed, 26 Mar 2014 23:12:50 +0000 (19:12 -0400)
committerKiet Tran <ktt3ja@gmail.com>
Tue, 15 Apr 2014 19:47:47 +0000 (15:47 -0400)
commit79d1e5df2190e4cfdd1814af95837b21ef046745
treedfec604a3889f58957e732a3b36fafdce711af55
parent189584e792bfc10142793ca1117e803c2201991a
Support lifetime suggestion for method

This includes a change to the way lifetime names are generated. Say we
figure that `[#0, 'a, 'b]` have to be the same lifetimes, then instead
of just generating a new lifetime `'c` like before to replace them, we
would reuse `'a`. This is done so that when the lifetime name comes
from an impl, we don't give something that's completely off, and we
don't have to do much work to figure out where the name came from. For
example, for the following code snippet:

```rust
struct Baz<'x> {
    bar: &'x int
}

impl<'x> Baz<'x> {
    fn baz1(&self) -> &int {
        self.bar
    }
}
```

`[#1, 'x]` (where `#1` is BrAnon(1) and refers to lifetime of `&int`)
have to be marked the same lifetime. With the old method, we would
generate a new lifetime `'a` and suggest `fn baz1(&self) -> &'a int`
or `fn baz1<'a>(&self) -> &'a int`, both of which are wrong.
src/librustc/middle/typeck/infer/error_reporting.rs
src/test/compile-fail/lifetime-inference-give-expl-lifetime-param-2.rs
src/test/compile-fail/lifetime-inference-give-expl-lifetime-param.rs