14 lines
220 B
Rust
14 lines
220 B
Rust
//@ check-pass
|
|
#![allow(dead_code)]
|
|
//@ pretty-expanded FIXME #23616
|
|
|
|
pub trait Writer {
|
|
fn write(&mut self, b: &[u8]) -> Result<(), ()>;
|
|
}
|
|
|
|
fn foo(a: &mut dyn Writer) {
|
|
a.write(&[]).unwrap();
|
|
}
|
|
|
|
pub fn main(){}
|