]>
Commit | Line | Data |
---|---|---|
b7449926 | 1 | // run-pass |
c34b1796 AL |
2 | // pretty-expanded FIXME #23616 |
3 | ||
85aaf69f SL |
4 | trait A { |
5 | fn dummy(&self) { } | |
6 | } | |
1a4d82fc JJ |
7 | struct B; |
8 | impl A for B {} | |
9 | ||
dc9dc135 | 10 | fn foo(_: &mut dyn A) {} |
223e47cc LB |
11 | |
12 | pub fn main() { | |
1a4d82fc | 13 | let mut b = B; |
dc9dc135 | 14 | foo(&mut b as &mut dyn A); |
223e47cc | 15 | } |