1 error[E0391]: cycle detected when computing type of `<impl at $DIR/resolve-self-in-impl.rs:14:1: 14:17>`
2 --> $DIR/resolve-self-in-impl.rs:14:13
4 LL | impl Tr for Self {}
7 = note: ...which immediately requires computing type of `<impl at $DIR/resolve-self-in-impl.rs:14:1: 14:17>` again
8 note: cycle used when collecting item types in top-level module
9 --> $DIR/resolve-self-in-impl.rs:1:1
11 LL | / #![feature(associated_type_defaults)]
13 LL | | struct S<T = u8>(T);
14 LL | | trait Tr<T = u8> {
20 error[E0391]: cycle detected when computing type of `<impl at $DIR/resolve-self-in-impl.rs:15:1: 15:20>`
21 --> $DIR/resolve-self-in-impl.rs:15:15
23 LL | impl Tr for S<Self> {}
26 = note: ...which immediately requires computing type of `<impl at $DIR/resolve-self-in-impl.rs:15:1: 15:20>` again
27 note: cycle used when collecting item types in top-level module
28 --> $DIR/resolve-self-in-impl.rs:1:1
30 LL | / #![feature(associated_type_defaults)]
32 LL | | struct S<T = u8>(T);
33 LL | | trait Tr<T = u8> {
39 error[E0391]: cycle detected when computing type of `<impl at $DIR/resolve-self-in-impl.rs:16:1: 16:10>`
40 --> $DIR/resolve-self-in-impl.rs:16:6
45 = note: ...which immediately requires computing type of `<impl at $DIR/resolve-self-in-impl.rs:16:1: 16:10>` again
46 note: cycle used when collecting item types in top-level module
47 --> $DIR/resolve-self-in-impl.rs:1:1
49 LL | / #![feature(associated_type_defaults)]
51 LL | | struct S<T = u8>(T);
52 LL | | trait Tr<T = u8> {
58 error[E0391]: cycle detected when computing type of `<impl at $DIR/resolve-self-in-impl.rs:17:1: 17:13>`
59 --> $DIR/resolve-self-in-impl.rs:17:8
64 = note: ...which immediately requires computing type of `<impl at $DIR/resolve-self-in-impl.rs:17:1: 17:13>` again
65 note: cycle used when collecting item types in top-level module
66 --> $DIR/resolve-self-in-impl.rs:1:1
68 LL | / #![feature(associated_type_defaults)]
70 LL | | struct S<T = u8>(T);
71 LL | | trait Tr<T = u8> {
77 error[E0391]: cycle detected when computing trait implemented by `<impl at $DIR/resolve-self-in-impl.rs:18:1: 18:23>`
78 --> $DIR/resolve-self-in-impl.rs:18:1
80 LL | impl Tr<Self::A> for S {}
81 | ^^^^^^^^^^^^^^^^^^^^^^
83 = note: ...which immediately requires computing trait implemented by `<impl at $DIR/resolve-self-in-impl.rs:18:1: 18:23>` again
84 note: cycle used when collecting item types in top-level module
85 --> $DIR/resolve-self-in-impl.rs:1:1
87 LL | / #![feature(associated_type_defaults)]
89 LL | | struct S<T = u8>(T);
90 LL | | trait Tr<T = u8> {
96 error: aborting due to 5 previous errors
98 For more information about this error, try `rustc --explain E0391`.