]>
Commit | Line | Data |
---|---|---|
0bf4aa26 XL |
1 | // compile-pass |
2 | #![allow(dead_code)] | |
c34b1796 AL |
3 | // pretty-expanded FIXME #23616 |
4 | ||
9346a6ac AL |
5 | pub trait Writer { |
6 | fn write(&mut self, b: &[u8]) -> Result<(), ()>; | |
7 | } | |
223e47cc | 8 | |
dc9dc135 | 9 | fn foo(a: &mut dyn Writer) { |
1a4d82fc | 10 | a.write(&[]).unwrap(); |
223e47cc | 11 | } |
1a4d82fc JJ |
12 | |
13 | pub fn main(){} |