src/test/incremental/cyclic-trait-hierarchy.rs


1
2
3
4
5
6
7
8
9
10
11
12
13

// Adapted from rust-lang/rust#58813

// revisions: rpass1 cfail2

#[cfg(rpass1)]
pub trait T2 {}
#[cfg(cfail2)]
pub trait T2: T1 {}
//[cfail2]~^ ERROR cycle detected when computing the super predicates of `T2`

pub trait T1: T2 {}

fn main() {}