// run-pass
#![allow(dead_code)]
// Issue #5192

// pretty-expanded FIXME #23616

#![feature(box_syntax)]

pub trait EventLoop { fn foo(&self) {} }

pub struct UvEventLoop {
    uvio: isize
}

impl EventLoop for UvEventLoop { }

pub fn main() {
    let loop_: Box<dyn EventLoop> = box UvEventLoop { uvio: 0 } as Box<dyn EventLoop>;
    let _loop2_ = loop_;
}
