blob: 6bf8a589959c57afa908a31f6f8f686e94880cc1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
// 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();
}
|
