Skip to content

Commit b02141b

Browse files
committed
Fixed typo from my original draft.
Also fixed mistake from previous commit (I moved an example up a few lines but forgot to delete the original).
1 parent 6c11e04 commit b02141b

File tree

1 file changed

+1
-9
lines changed

1 file changed

+1
-9
lines changed

active/0039-lifetime-elision.md

Lines changed: 1 addition & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -100,8 +100,7 @@ Lifetime positions can appear as either "input" or "output":
100100
input position and two lifetimes in output position.
101101
Note that the input positions of a `fn` method definition do not
102102
include the lifetimes that occur in the method's `impl` header
103-
`impl` (nor lifetimes that occur in the trait header, for a default
104-
method).
103+
(nor lifetimes that occur in the trait header, for a default method).
105104

106105

107106
* For `impl` headers, input refers to the lifetimes appears in the type
@@ -190,13 +189,6 @@ impl Bar for &str {
190189
fn bound(&'a self) -> &'a int { ... } fn fresh(&self) -> &int { ... } // ILLEGAL: unbound 'a
191190
}
192191

193-
impl<'a> Bar<'a> for &'a str {
194-
fn bound(&'a self) -> &'a int { ... } fn fresh(&self) -> &int { ... } // elided
195-
}
196-
impl<'a> Bar<'a> for &'a str {
197-
fn bound(&'a self) -> &'a int { ... } fn fresh<'b>(&'b self) -> &'b int { ... } // expanded
198-
}
199-
200192
```
201193

202194
## Error messages

0 commit comments

Comments
 (0)