Skip to content

Commit f937a10

Browse files
fee1-deadfee1-dead
committed
Bless ui tests after typeck code change
1 parent f8813cf commit f937a10

16 files changed

+101
-123
lines changed

‎src/test/ui/consts/const-fn-error.rs‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,10 @@ const X : usize = 2;
33
const fn f(x: usize) -> usize {
44
let mut sum = 0;
55
for i in 0..x {
6-
//~^ ERROR the trait bound
6+
//~^ ERROR cannot convert
77
//~| ERROR `for` is not allowed in a `const fn`
8+
//~| ERROR mutable references are not allowed in constant functions
9+
//~| ERROR cannot call non-const fn
810
sum += i;
911
}
1012
sum

‎src/test/ui/consts/const-fn-error.stderr‎

Lines changed: 25 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -4,32 +4,46 @@ error[E0658]: `for` is not allowed in a `const fn`
44
LL | / for i in 0..x {
55
LL | |
66
LL | |
7+
LL | |
8+
LL | |
79
LL | | sum += i;
810
LL | | }
911
| |_____^
1012
|
1113
= note: see issue #87575 <https://github.com/rust-lang/rust/issues/87575> for more information
1214
= help: add `#![feature(const_for)]` to the crate attributes to enable
1315

14-
error[E0277]: the trait bound `std::ops::Range<usize>: Iterator` is not satisfied
16+
error[E0015]: cannot convert `std::ops::Range<usize>` into an iterator in constant functions
1517
--> $DIR/const-fn-error.rs:5:14
1618
|
1719
LL | for i in 0..x {
18-
| ^^^^ `std::ops::Range<usize>` is not an iterator
20+
| ^^^^
1921
|
20-
= help: the trait `~const Iterator` is not implemented for `std::ops::Range<usize>`
21-
note: the trait `Iterator` is implemented for `std::ops::Range<usize>`, but that implementation is not `const`
22+
note: impl defined here, but it is not `const`
23+
--> $SRC_DIR/core/src/iter/traits/collect.rs:LL:COL
24+
|
25+
LL | impl<I: ~const Iterator> const IntoIterator for I {
26+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
27+
= note: calls in constant functions are limited to constant functions, tuple structs and tuple variants
28+
29+
error[E0658]: mutable references are not allowed in constant functions
30+
--> $DIR/const-fn-error.rs:5:14
31+
|
32+
LL | for i in 0..x {
33+
| ^^^^
34+
|
35+
= note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information
36+
= help: add `#![feature(const_mut_refs)]` to the crate attributes to enable
37+
38+
error[E0015]: cannot call non-const fn `<std::ops::Range<usize> as Iterator>::next` in constant functions
2239
--> $DIR/const-fn-error.rs:5:14
2340
|
2441
LL | for i in 0..x {
2542
| ^^^^
26-
= note: required for `std::ops::Range<usize>` to implement `~const IntoIterator`
27-
help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
2843
|
29-
LL | const fn f(x: usize) -> usize where std::ops::Range<usize>: ~const Iterator {
30-
| +++++++++++++++++++++++++++++++++++++++++++++
44+
= note: calls in constant functions are limited to constant functions, tuple structs and tuple variants
3145

32-
error: aborting due to 2 previous errors
46+
error: aborting due to 4 previous errors
3347

34-
Some errors have detailed explanations: E0277, E0658.
35-
For more information about an error, try `rustc --explain E0277`.
48+
Some errors have detailed explanations: E0015, E0658.
49+
For more information about an error, try `rustc --explain E0015`.

‎src/test/ui/consts/const-for-feature-gate.rs‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,6 @@
33
const _: () = {
44
for _ in 0..5 {}
55
//~^ error: `for` is not allowed in a `const`
6-
//~| error: the trait bound
76
};
87

98
fn main() {}

‎src/test/ui/consts/const-for-feature-gate.stderr‎

Lines changed: 2 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -7,21 +7,6 @@ LL | for _ in 0..5 {}
77
= note: see issue #87575 <https://github.com/rust-lang/rust/issues/87575> for more information
88
= help: add `#![feature(const_for)]` to the crate attributes to enable
99

10-
error[E0277]: the trait bound `std::ops::Range<{integer}>: Iterator` is not satisfied
11-
--> $DIR/const-for-feature-gate.rs:4:14
12-
|
13-
LL | for _ in 0..5 {}
14-
| ^^^^ `std::ops::Range<{integer}>` is not an iterator
15-
|
16-
= help: the trait `~const Iterator` is not implemented for `std::ops::Range<{integer}>`
17-
note: the trait `Iterator` is implemented for `std::ops::Range<{integer}>`, but that implementation is not `const`
18-
--> $DIR/const-for-feature-gate.rs:4:14
19-
|
20-
LL | for _ in 0..5 {}
21-
| ^^^^
22-
= note: required for `std::ops::Range<{integer}>` to implement `~const IntoIterator`
23-
24-
error: aborting due to 2 previous errors
10+
error: aborting due to previous error
2511

26-
Some errors have detailed explanations: E0277, E0658.
27-
For more information about an error, try `rustc --explain E0277`.
12+
For more information about this error, try `rustc --explain E0658`.

‎src/test/ui/consts/const-for.rs‎

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,8 @@
33

44
const _: () = {
55
for _ in 0..5 {}
6-
//~^ error: the trait bound
6+
//~^ error: cannot call
7+
//~| error: cannot convert
78
};
89

910
fn main() {}

‎src/test/ui/consts/const-for.stderr‎

Lines changed: 14 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,17 +1,24 @@
1-
error[E0277]: the trait bound `std::ops::Range<{integer}>: Iterator` is not satisfied
1+
error[E0015]: cannot convert `std::ops::Range<i32>` into an iterator in constants
22
--> $DIR/const-for.rs:5:14
33
|
44
LL | for _ in 0..5 {}
5-
| ^^^^ `std::ops::Range<{integer}>` is not an iterator
5+
| ^^^^
6+
|
7+
note: impl defined here, but it is not `const`
8+
--> $SRC_DIR/core/src/iter/traits/collect.rs:LL:COL
69
|
7-
= help: the trait `~const Iterator` is not implemented for `std::ops::Range<{integer}>`
8-
note: the trait `Iterator` is implemented for `std::ops::Range<{integer}>`, but that implementation is not `const`
10+
LL | impl<I: ~const Iterator> const IntoIterator for I {
11+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
12+
= note: calls in constants are limited to constant functions, tuple structs and tuple variants
13+
14+
error[E0015]: cannot call non-const fn `<std::ops::Range<i32> as Iterator>::next` in constants
915
--> $DIR/const-for.rs:5:14
1016
|
1117
LL | for _ in 0..5 {}
1218
| ^^^^
13-
= note: required for `std::ops::Range<{integer}>` to implement `~const IntoIterator`
19+
|
20+
= note: calls in constants are limited to constant functions, tuple structs and tuple variants
1421

15-
error: aborting due to previous error
22+
error: aborting due to 2 previous errors
1623

17-
For more information about this error, try `rustc --explain E0277`.
24+
For more information about this error, try `rustc --explain E0015`.

‎src/test/ui/consts/control-flow/loop.rs‎

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -51,12 +51,10 @@ const _: i32 = {
5151
let mut x = 0;
5252

5353
for i in 0..4 { //~ ERROR `for` is not allowed in a `const`
54-
//~^ ERROR the trait bound
5554
x += i;
5655
}
5756

5857
for i in 0..4 { //~ ERROR `for` is not allowed in a `const`
59-
//~^ ERROR the trait bound
6058
x += i;
6159
}
6260

‎src/test/ui/consts/control-flow/loop.stderr‎

Lines changed: 3 additions & 34 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,6 @@ error[E0658]: `for` is not allowed in a `const`
22
--> $DIR/loop.rs:53:5
33
|
44
LL | / for i in 0..4 {
5-
LL | |
65
LL | | x += i;
76
LL | | }
87
| |_____^
@@ -11,46 +10,16 @@ LL | | }
1110
= help: add `#![feature(const_for)]` to the crate attributes to enable
1211

1312
error[E0658]: `for` is not allowed in a `const`
14-
--> $DIR/loop.rs:58:5
13+
--> $DIR/loop.rs:57:5
1514
|
1615
LL | / for i in 0..4 {
17-
LL | |
1816
LL | | x += i;
1917
LL | | }
2018
| |_____^
2119
|
2220
= note: see issue #87575 <https://github.com/rust-lang/rust/issues/87575> for more information
2321
= help: add `#![feature(const_for)]` to the crate attributes to enable
2422

25-
error[E0277]: the trait bound `std::ops::Range<{integer}>: Iterator` is not satisfied
26-
--> $DIR/loop.rs:53:14
27-
|
28-
LL | for i in 0..4 {
29-
| ^^^^ `std::ops::Range<{integer}>` is not an iterator
30-
|
31-
= help: the trait `~const Iterator` is not implemented for `std::ops::Range<{integer}>`
32-
note: the trait `Iterator` is implemented for `std::ops::Range<{integer}>`, but that implementation is not `const`
33-
--> $DIR/loop.rs:53:14
34-
|
35-
LL | for i in 0..4 {
36-
| ^^^^
37-
= note: required for `std::ops::Range<{integer}>` to implement `~const IntoIterator`
38-
39-
error[E0277]: the trait bound `std::ops::Range<{integer}>: Iterator` is not satisfied
40-
--> $DIR/loop.rs:58:14
41-
|
42-
LL | for i in 0..4 {
43-
| ^^^^ `std::ops::Range<{integer}>` is not an iterator
44-
|
45-
= help: the trait `~const Iterator` is not implemented for `std::ops::Range<{integer}>`
46-
note: the trait `Iterator` is implemented for `std::ops::Range<{integer}>`, but that implementation is not `const`
47-
--> $DIR/loop.rs:58:14
48-
|
49-
LL | for i in 0..4 {
50-
| ^^^^
51-
= note: required for `std::ops::Range<{integer}>` to implement `~const IntoIterator`
52-
53-
error: aborting due to 4 previous errors
23+
error: aborting due to 2 previous errors
5424

55-
Some errors have detailed explanations: E0277, E0658.
56-
For more information about an error, try `rustc --explain E0277`.
25+
For more information about this error, try `rustc --explain E0658`.

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

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,5 +2,4 @@ fn main() {
22
Vec::<[(); 1 + for x in 0..1 {}]>::new();
33
//~^ ERROR cannot add
44
//~| ERROR `for` is not allowed in a `const`
5-
//~| ERROR the trait bound
65
}

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

Lines changed: 1 addition & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -7,20 +7,6 @@ LL | Vec::<[(); 1 + for x in 0..1 {}]>::new();
77
= note: see issue #87575 <https://github.com/rust-lang/rust/issues/87575> for more information
88
= help: add `#![feature(const_for)]` to the crate attributes to enable
99

10-
error[E0277]: the trait bound `std::ops::Range<{integer}>: Iterator` is not satisfied
11-
--> $DIR/issue-50582.rs:2:29
12-
|
13-
LL | Vec::<[(); 1 + for x in 0..1 {}]>::new();
14-
| ^^^^ `std::ops::Range<{integer}>` is not an iterator
15-
|
16-
= help: the trait `~const Iterator` is not implemented for `std::ops::Range<{integer}>`
17-
note: the trait `Iterator` is implemented for `std::ops::Range<{integer}>`, but that implementation is not `const`
18-
--> $DIR/issue-50582.rs:2:29
19-
|
20-
LL | Vec::<[(); 1 + for x in 0..1 {}]>::new();
21-
| ^^^^
22-
= note: required for `std::ops::Range<{integer}>` to implement `~const IntoIterator`
23-
2410
error[E0277]: cannot add `()` to `{integer}` in const contexts
2511
--> $DIR/issue-50582.rs:2:18
2612
|
@@ -39,7 +25,7 @@ LL | Vec::<[(); 1 + for x in 0..1 {}]>::new();
3925
<&'a isize as Add<isize>>
4026
and 48 others
4127

42-
error: aborting due to 3 previous errors
28+
error: aborting due to 2 previous errors
4329

4430
Some errors have detailed explanations: E0277, E0658.
4531
For more information about an error, try `rustc --explain E0277`.

0 commit comments

Comments
 (0)