]>
Commit | Line | Data |
---|---|---|
b7449926 | 1 | // run-pass |
0bf4aa26 | 2 | #![allow(dead_code)] |
c34b1796 AL |
3 | // pretty-expanded FIXME #23616 |
4 | ||
85aaf69f | 5 | trait Aaa { fn dummy(&self) { } } |
223e47cc | 6 | |
dc9dc135 | 7 | impl<'a> Aaa for &'a mut (dyn Aaa + 'a) {} |
1a4d82fc JJ |
8 | |
9 | struct Bar<'a> { | |
dc9dc135 | 10 | writer: &'a mut (dyn Aaa + 'a), |
223e47cc LB |
11 | } |
12 | ||
dc9dc135 | 13 | fn baz(_: &mut dyn Aaa) { |
223e47cc LB |
14 | } |
15 | ||
1a4d82fc JJ |
16 | fn foo<'a>(mut bar: Bar<'a>) { |
17 | baz(&mut bar.writer); | |
223e47cc LB |
18 | } |
19 | ||
20 | fn main() { | |
223e47cc | 21 | } |