1 2 3 4 5 6 7 8 9 10
#![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() {}