src/test/ui/issues/issue-8398.rs

   1 // check-pass
   2 #![allow(dead_code)]
   3 // pretty-expanded FIXME #23616
   4
   5 pub trait Writer {
   6     fn write(&mut self, b: &[u8]) -> Result<(), ()>;
   7 }
   8
   9 fn foo(a: &mut dyn Writer) {
  10     a.write(&[]).unwrap();
  11 }
  12
  13 pub fn main(){}