Skip to content

Commit 01f7450

Browse files
ZoxcZoxc
committed
Update tests
1 parent 350f72f commit 01f7450

8 files changed

+109
-4
lines changed

‎src/test/ui/issues/issue-20413.rs

+1
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@ struct NoData<T>;
88
impl<T> Foo for T where NoData<T>: Foo {
99
//~^ ERROR: overflow evaluating the requirement
1010
fn answer(self) {
11+
//~^ ERROR: overflow evaluating the requirement
1112
let val: NoData<T> = NoData;
1213
}
1314
}

‎src/test/ui/issues/issue-20413.stderr

+81-1
Large diffs are not rendered by default.

‎src/test/ui/issues/issue-21946.rs

+1
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,7 @@ struct FooStruct;
77
impl Foo for FooStruct {
88
//~^ ERROR overflow evaluating the requirement `<FooStruct as Foo>::A`
99
type A = <FooStruct as Foo>::A;
10+
//~^ ERROR overflow evaluating the requirement `<FooStruct as Foo>::A`
1011
}
1112

1213
fn main() {}

‎src/test/ui/issues/issue-21946.stderr

+7-1
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,12 @@ error[E0275]: overflow evaluating the requirement `<FooStruct as Foo>::A`
44
LL | impl Foo for FooStruct {
55
| ^^^
66

7-
error: aborting due to previous error
7+
error[E0275]: overflow evaluating the requirement `<FooStruct as Foo>::A`
8+
--> $DIR/issue-21946.rs:9:5
9+
|
10+
LL | type A = <FooStruct as Foo>::A;
11+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
12+
13+
error: aborting due to 2 previous errors
814

915
For more information about this error, try `rustc --explain E0275`.

‎src/test/ui/issues/issue-23122-1.rs

+1
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,7 @@ struct GetNext<T: Next> { t: T }
77
impl<T: Next> Next for GetNext<T> {
88
//~^ ERROR overflow evaluating the requirement
99
type Next = <GetNext<T> as Next>::Next;
10+
//~^ ERROR overflow evaluating the requirement
1011
}
1112

1213
fn main() {}

‎src/test/ui/issues/issue-23122-1.stderr

+7-1
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,12 @@ error[E0275]: overflow evaluating the requirement `<GetNext<T> as Next>::Next`
44
LL | impl<T: Next> Next for GetNext<T> {
55
| ^^^^
66

7-
error: aborting due to previous error
7+
error[E0275]: overflow evaluating the requirement `<GetNext<T> as Next>::Next`
8+
--> $DIR/issue-23122-1.rs:9:5
9+
|
10+
LL | type Next = <GetNext<T> as Next>::Next;
11+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
12+
13+
error: aborting due to 2 previous errors
814

915
For more information about this error, try `rustc --explain E0275`.

‎src/test/ui/issues/issue-23122-2.rs

+1
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,7 @@ struct GetNext<T: Next> { t: T }
77
impl<T: Next> Next for GetNext<T> {
88
//~^ ERROR overflow evaluating the requirement
99
type Next = <GetNext<T::Next> as Next>::Next;
10+
//~^ ERROR overflow evaluating the requirement
1011
}
1112

1213
fn main() {}

‎src/test/ui/issues/issue-23122-2.stderr

+10-1
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,15 @@ LL | impl<T: Next> Next for GetNext<T> {
77
= help: consider adding a `#![recursion_limit="128"]` attribute to your crate
88
= note: required because of the requirements on the impl of `Next` for `GetNext<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<T as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next>`
99

10-
error: aborting due to previous error
10+
error[E0275]: overflow evaluating the requirement `<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<T as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next: std::marker::Sized`
11+
--> $DIR/issue-23122-2.rs:9:5
12+
|
13+
LL | type Next = <GetNext<T::Next> as Next>::Next;
14+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
15+
|
16+
= help: consider adding a `#![recursion_limit="128"]` attribute to your crate
17+
= note: required because of the requirements on the impl of `Next` for `GetNext<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<T as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next as Next>::Next>`
18+
19+
error: aborting due to 2 previous errors
1120

1221
For more information about this error, try `rustc --explain E0275`.

0 commit comments

Comments
 (0)