]>
Commit | Line | Data |
---|---|---|
1a4d82fc JJ |
1 | // Copyright 2014 The Rust Project Developers. See the COPYRIGHT |
2 | // file at the top-level directory of this distribution and at | |
3 | // http://rust-lang.org/COPYRIGHT. | |
4 | // | |
5 | // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or | |
6 | // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license | |
7 | // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your | |
8 | // option. This file may not be copied, modified, or distributed | |
9 | // except according to those terms. | |
10 | ||
11 | // Attempt to extend the lifetime as well as unsizing. | |
12 | ||
13 | struct Fat<T: ?Sized> { | |
14 | ptr: T | |
15 | } | |
16 | ||
17 | struct Foo; | |
18 | trait Bar {} | |
19 | impl Bar for Foo {} | |
20 | ||
21 | fn baz<'a>() { | |
22 | // With a vec of ints. | |
23 | let f1 = Fat { ptr: [1, 2, 3] }; | |
24 | let f2: &Fat<[isize; 3]> = &f1; //~ ERROR `f1` does not live long enough | |
25 | let f3: &'a Fat<[isize]> = f2; | |
26 | ||
27 | // With a trait. | |
28 | let f1 = Fat { ptr: Foo }; | |
29 | let f2: &Fat<Foo> = &f1; //~ ERROR `f1` does not live long enough | |
30 | let f3: &'a Fat<Bar> = f2; | |
31 | } | |
32 | ||
33 | pub fn main() { | |
34 | baz(); | |
35 | } |