diff options
Diffstat (limited to 'src/test/ui/resolve/resolve-self-in-impl.stderr')
| -rw-r--r-- | src/test/ui/resolve/resolve-self-in-impl.stderr | 98 |
1 files changed, 98 insertions, 0 deletions
diff --git a/src/test/ui/resolve/resolve-self-in-impl.stderr b/src/test/ui/resolve/resolve-self-in-impl.stderr new file mode 100644 index 000000000..aa99c1a33 --- /dev/null +++ b/src/test/ui/resolve/resolve-self-in-impl.stderr @@ -0,0 +1,98 @@ +error[E0391]: cycle detected when computing type of `<impl at $DIR/resolve-self-in-impl.rs:14:1: 14:17>` + --> $DIR/resolve-self-in-impl.rs:14:13 + | +LL | impl Tr for Self {} + | ^^^^ + | + = note: ...which immediately requires computing type of `<impl at $DIR/resolve-self-in-impl.rs:14:1: 14:17>` again +note: cycle used when collecting item types in top-level module + --> $DIR/resolve-self-in-impl.rs:1:1 + | +LL | / #![feature(associated_type_defaults)] +LL | | +LL | | struct S<T = u8>(T); +LL | | trait Tr<T = u8> { +... | +LL | | +LL | | fn main() {} + | |____________^ + +error[E0391]: cycle detected when computing type of `<impl at $DIR/resolve-self-in-impl.rs:15:1: 15:20>` + --> $DIR/resolve-self-in-impl.rs:15:15 + | +LL | impl Tr for S<Self> {} + | ^^^^ + | + = note: ...which immediately requires computing type of `<impl at $DIR/resolve-self-in-impl.rs:15:1: 15:20>` again +note: cycle used when collecting item types in top-level module + --> $DIR/resolve-self-in-impl.rs:1:1 + | +LL | / #![feature(associated_type_defaults)] +LL | | +LL | | struct S<T = u8>(T); +LL | | trait Tr<T = u8> { +... | +LL | | +LL | | fn main() {} + | |____________^ + +error[E0391]: cycle detected when computing type of `<impl at $DIR/resolve-self-in-impl.rs:16:1: 16:10>` + --> $DIR/resolve-self-in-impl.rs:16:6 + | +LL | impl Self {} + | ^^^^ + | + = note: ...which immediately requires computing type of `<impl at $DIR/resolve-self-in-impl.rs:16:1: 16:10>` again +note: cycle used when collecting item types in top-level module + --> $DIR/resolve-self-in-impl.rs:1:1 + | +LL | / #![feature(associated_type_defaults)] +LL | | +LL | | struct S<T = u8>(T); +LL | | trait Tr<T = u8> { +... | +LL | | +LL | | fn main() {} + | |____________^ + +error[E0391]: cycle detected when computing type of `<impl at $DIR/resolve-self-in-impl.rs:17:1: 17:13>` + --> $DIR/resolve-self-in-impl.rs:17:8 + | +LL | impl S<Self> {} + | ^^^^ + | + = note: ...which immediately requires computing type of `<impl at $DIR/resolve-self-in-impl.rs:17:1: 17:13>` again +note: cycle used when collecting item types in top-level module + --> $DIR/resolve-self-in-impl.rs:1:1 + | +LL | / #![feature(associated_type_defaults)] +LL | | +LL | | struct S<T = u8>(T); +LL | | trait Tr<T = u8> { +... | +LL | | +LL | | fn main() {} + | |____________^ + +error[E0391]: cycle detected when computing trait implemented by `<impl at $DIR/resolve-self-in-impl.rs:18:1: 18:23>` + --> $DIR/resolve-self-in-impl.rs:18:1 + | +LL | impl Tr<Self::A> for S {} + | ^^^^^^^^^^^^^^^^^^^^^^ + | + = note: ...which immediately requires computing trait implemented by `<impl at $DIR/resolve-self-in-impl.rs:18:1: 18:23>` again +note: cycle used when collecting item types in top-level module + --> $DIR/resolve-self-in-impl.rs:1:1 + | +LL | / #![feature(associated_type_defaults)] +LL | | +LL | | struct S<T = u8>(T); +LL | | trait Tr<T = u8> { +... | +LL | | +LL | | fn main() {} + | |____________^ + +error: aborting due to 5 previous errors + +For more information about this error, try `rustc --explain E0391`. |