about summary refs log tree commit diff
path: root/src/libsyntax/parse
diff options
context:
space:
mode:
authorKiet Tran <ktt3ja@gmail.com>2014-03-26 19:12:50 -0400
committerKiet Tran <ktt3ja@gmail.com>2014-04-15 15:47:47 -0400
commit79d1e5df2190e4cfdd1814af95837b21ef046745 (patch)
treedfec604a3889f58957e732a3b36fafdce711af55 /src/libsyntax/parse
parent189584e792bfc10142793ca1117e803c2201991a (diff)
downloadrust-79d1e5df2190e4cfdd1814af95837b21ef046745.tar.gz
rust-79d1e5df2190e4cfdd1814af95837b21ef046745.zip
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.
Diffstat (limited to 'src/libsyntax/parse')
0 files changed, 0 insertions, 0 deletions