summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/trait-upcasting/cyclic-trait-resolution.rs
blob: 511e41562b2203e49cfd395e487bee2da9673fa1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
trait A: B + A {}
//~^ ERROR cycle detected when computing the super predicates 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;
}