blob: d87d27582bab61a832455bb7480d0a1a2495a490 [file] [log] [blame]
// https://github.com/rust-lang/rust/issues/8398
//@ check-pass
#![allow(dead_code)]
pub trait Writer {
fn write(&mut self, b: &[u8]) -> Result<(), ()>;
}
fn foo(a: &mut dyn Writer) {
a.write(&[]).unwrap();
}
pub fn main(){}