rust/src/test/ui/traits/trait-upcasting/cyclic-trait-resolution.rs

14 lines
219 B
Rust
Raw Normal View History

2019-11-04 20:18:39 -06:00
trait A: B + A {}
//~^ ERROR cycle detected when computing the supertraits of `A` [E0391]
trait B {}
impl A for () {}
impl B for () {}
fn main() {
let a: Box<dyn A> = Box::new(());
let _b: Box<dyn B> = a;
}