]>
Commit | Line | Data |
---|---|---|
85aaf69f SL |
1 | // Test that `Box<Test>` is equivalent to `Box<Test+'static>`, both in |
2 | // fields and fn arguments. | |
223e47cc | 3 | |
c34b1796 AL |
4 | // pretty-expanded FIXME #23616 |
5 | ||
85aaf69f SL |
6 | #![allow(dead_code)] |
7 | ||
8 | trait Test { | |
9 | fn foo(&self) { } | |
10 | } | |
223e47cc | 11 | |
85aaf69f SL |
12 | struct SomeStruct { |
13 | t: Box<Test>, | |
14 | u: Box<Test+'static>, | |
15 | } | |
223e47cc | 16 | |
85aaf69f SL |
17 | fn a(t: Box<Test>, mut ss: SomeStruct) { |
18 | ss.t = t; | |
19 | } | |
20 | ||
21 | fn b(t: Box<Test+'static>, mut ss: SomeStruct) { | |
22 | ss.t = t; | |
23 | } | |
24 | ||
25 | fn c(t: Box<Test>, mut ss: SomeStruct) { | |
26 | ss.u = t; | |
27 | } | |
28 | ||
29 | fn d(t: Box<Test+'static>, mut ss: SomeStruct) { | |
30 | ss.u = t; | |
31 | } | |
32 | ||
33 | fn main() { | |
223e47cc | 34 | } |