blob: 948f058e5287b0fd49ea6697f81b5fac78611b29 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
// revisions: current next
//[next] compile-flags: -Znext-solver
struct Wrapper<T: ?Sized>(T);
trait A: B {}
trait B {}
fn test<'a>(x: Box<Wrapper<dyn A + 'a>>) -> Box<Wrapper<dyn B + 'a>> {
x
//~^ ERROR cannot cast `dyn A` to `dyn B`, trait upcasting coercion is experimental
}
fn main() {}
|