// run-pass | |
// #14399 | |
// We'd previously ICE if we had a method call whose return | |
// value was coerced to a trait object. (v.clone() returns Box<B1> | |
// which is coerced to Box<A>). | |
// pretty-expanded FIXME #23616 | |
#![feature(box_syntax)] | |
#[derive(Clone)] | |
struct B1; | |
trait A { fn foo(&self) {} } | |
impl A for B1 {} | |
fn main() { | |
let v: Box<_> = box B1; | |
let _c: Box<dyn A> = v.clone(); | |
} |