// 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() {}