src/test/ui/infinite/infinite-trait-alias-recursion.rs

#![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() {}