3 // We'd previously ICE if we had a method call whose return
4 // value was coerced to a trait object. (v.clone() returns Box<B1>
5 // which is coerced to Box<A>).
7 // pretty-expanded FIXME #23616
9 #![feature(box_syntax)]
14 trait A { fn foo(&self) {} }
18 let v: Box<_> = box B1;
19 let _c: Box<dyn A> = v.clone();