#![feature(trait_alias)]
trait T1 = T2;
//~^ ERROR cycle detected when computing the super predicates of `T1`
trait T2 = T3;
trait T3 = T1 + T3;
fn main() {}