| error[E0391]: cycle detected when computing the implied predicates of `T1` |
| --> $DIR/infinite-trait-alias-recursion.rs:3:12 |
| | |
| LL | trait T1 = T2; |
| | ^^ |
| | |
| note: ...which requires computing the implied predicates of `T2`... |
| --> $DIR/infinite-trait-alias-recursion.rs:6:12 |
| | |
| LL | trait T2 = T3; |
| | ^^ |
| note: ...which requires computing the implied predicates of `T3`... |
| --> $DIR/infinite-trait-alias-recursion.rs:8:12 |
| | |
| LL | trait T3 = T1 + T3; |
| | ^^ |
| = note: ...which again requires computing the implied predicates of `T1`, completing the cycle |
| = note: trait aliases cannot be recursive |
| note: cycle used when checking that `T1` is well-formed |
| --> $DIR/infinite-trait-alias-recursion.rs:3:1 |
| | |
| LL | trait T1 = T2; |
| | ^^^^^^^^ |
| = note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information |
| |
| error: aborting due to 1 previous error |
| |
| For more information about this error, try `rustc --explain E0391`. |
