]>
Commit | Line | Data |
---|---|---|
b7449926 | 1 | // run-pass |
1a4d82fc JJ |
2 | // Tests that unary structs can be mutably borrowed. |
3 | ||
4 | struct Empty; | |
223e47cc | 5 | |
1a4d82fc JJ |
6 | trait T<U> { |
7 | fn next(&mut self) -> Option<U>; | |
8 | } | |
c34b1796 AL |
9 | impl T<isize> for Empty { |
10 | fn next(&mut self) -> Option<isize> { None } | |
223e47cc LB |
11 | } |
12 | ||
dc9dc135 | 13 | fn do_something_with(a : &mut dyn T<isize>) { |
1a4d82fc | 14 | println!("{:?}", a.next()) |
223e47cc LB |
15 | } |
16 | ||
17 | pub fn main() { | |
1a4d82fc | 18 | do_something_with(&mut Empty); |
223e47cc | 19 | } |