tests/ui/cycle-trait/issue-12511.rs

trait T1 : T2 {
//~^ ERROR cycle detected
}

trait T2 : T1 {
}

fn main() { }