File tree
17 files changed
+35
-38
lines changed- src
- librustc_typeck
- check
- test
- compile-fail
- ui/mismatched_types
17 files changed
+35
-38
lines changedLines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
217 | 217 |
| |
218 | 218 |
| |
219 | 219 |
| |
220 |
| - | |
| 220 | + | |
221 | 221 |
| |
222 | 222 |
| |
223 | 223 |
| |
|
Lines changed: 14 additions & 13 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
4209 | 4209 |
| |
4210 | 4210 |
| |
4211 | 4211 |
| |
4212 |
| - | |
| 4212 | + | |
4213 | 4213 |
| |
4214 | 4214 |
| |
4215 | 4215 |
| |
4216 | 4216 |
| |
4217 | 4217 |
| |
4218 | 4218 |
| |
4219 | 4219 |
| |
4220 |
| - | |
| 4220 | + | |
4221 | 4221 |
| |
4222 | 4222 |
| |
4223 | 4223 |
| |
4224 |
| - | |
| 4224 | + | |
4225 | 4225 |
| |
4226 | 4226 |
| |
4227 | 4227 |
| |
| |||
4232 | 4232 |
| |
4233 | 4233 |
| |
4234 | 4234 |
| |
4235 |
| - | |
| 4235 | + | |
4236 | 4236 |
| |
4237 | 4237 |
| |
4238 | 4238 |
| |
4239 | 4239 |
| |
4240 |
| - | |
| 4240 | + | |
4241 | 4241 |
| |
4242 | 4242 |
| |
4243 |
| - | |
| 4243 | + | |
4244 | 4244 |
| |
4245 | 4245 |
| |
4246 | 4246 |
| |
| |||
4261 | 4261 |
| |
4262 | 4262 |
| |
4263 | 4263 |
| |
4264 |
| - | |
4265 |
| - | |
| 4264 | + | |
| 4265 | + | |
4266 | 4266 |
| |
4267 | 4267 |
| |
4268 | 4268 |
| |
| |||
4282 | 4282 |
| |
4283 | 4283 |
| |
4284 | 4284 |
| |
4285 |
| - | |
| 4285 | + | |
| 4286 | + | |
4286 | 4287 |
| |
4287 | 4288 |
| |
4288 |
| - | |
| 4289 | + | |
4289 | 4290 |
| |
4290 |
| - | |
| 4291 | + | |
| 4292 | + | |
4291 | 4293 |
| |
4292 |
| - | |
4293 |
| - | |
| 4294 | + | |
4294 | 4295 |
| |
4295 | 4296 |
| |
4296 | 4297 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
8 | 8 |
| |
9 | 9 |
| |
10 | 10 |
| |
11 |
| - | |
| 11 | + | |
12 | 12 |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
13 | 13 |
| |
14 | 14 |
| |
15 | 15 |
| |
16 |
| - | |
| 16 | + | |
17 | 17 |
| |
18 |
| - | |
| 18 | + | |
19 | 19 |
| |
20 | 20 |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
8 | 8 |
| |
9 | 9 |
| |
10 | 10 |
| |
11 |
| - | |
| 11 | + | |
12 | 12 |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
14 | 14 |
| |
15 | 15 |
| |
16 | 16 |
| |
17 |
| - | |
| 17 | + | |
18 | 18 |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
17 | 17 |
| |
18 | 18 |
| |
19 | 19 |
| |
20 |
| - | |
| 20 | + | |
21 | 21 |
| |
22 | 22 |
| |
23 | 23 |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
22 | 22 |
| |
23 | 23 |
| |
24 | 24 |
| |
25 |
| - | |
| 25 | + | |
26 | 26 |
| |
27 | 27 |
| |
28 | 28 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
10 | 10 |
| |
11 | 11 |
| |
12 | 12 |
| |
13 |
| - | |
| 13 | + | |
14 | 14 |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
9 | 9 |
| |
10 | 10 |
| |
11 | 11 |
| |
12 |
| - | |
| 12 | + | |
13 | 13 |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
19 | 19 |
| |
20 | 20 |
| |
21 | 21 |
| |
22 |
| - | |
| 22 | + | |
23 | 23 |
| |
24 | 24 |
| |
25 | 25 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
9 | 9 |
| |
10 | 10 |
| |
11 | 11 |
| |
12 |
| - | |
| 12 | + | |
13 | 13 |
| |
14 | 14 |
| |
15 | 15 |
|
Lines changed: 1 addition & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
8 | 8 |
| |
9 | 9 |
| |
10 | 10 |
| |
11 |
| - | |
12 |
| - | |
13 | 11 |
| |
14 | 12 |
| |
15 | 13 |
| |
16 | 14 |
| |
17 | 15 |
| |
18 | 16 |
| |
19 |
| - | |
| 17 | + | |
20 | 18 |
|
Lines changed: 1 addition & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
8 | 8 |
| |
9 | 9 |
| |
10 | 10 |
| |
11 |
| - | |
12 |
| - | |
13 | 11 |
| |
14 | 12 |
| |
15 | 13 |
| |
16 | 14 |
| |
17 | 15 |
| |
18 | 16 |
| |
19 | 17 |
| |
20 |
| - | |
| 18 | + | |
21 | 19 |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
11 | 11 |
| |
12 | 12 |
| |
13 | 13 |
| |
14 |
| - | |
| 14 | + | |
15 | 15 |
| |
16 | 16 |
| |
17 | 17 |
|
Lines changed: 5 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
20 | 20 |
| |
21 | 21 |
| |
22 | 22 |
| |
23 |
| - | |
| 23 | + | |
24 | 24 |
| |
25 | 25 |
| |
26 | 26 |
| |
27 | 27 |
| |
28 | 28 |
| |
29 | 29 |
| |
30 | 30 |
| |
31 |
| - | |
| 31 | + | |
32 | 32 |
| |
33 | 33 |
| |
34 | 34 |
| |
35 | 35 |
| |
36 | 36 |
| |
37 | 37 |
| |
38 | 38 |
| |
39 |
| - | |
| 39 | + | |
40 | 40 |
| |
41 | 41 |
| |
42 | 42 |
| |
43 | 43 |
| |
44 | 44 |
| |
45 | 45 |
| |
46 | 46 |
| |
47 |
| - | |
| 47 | + | |
48 | 48 |
| |
49 | 49 |
| |
50 | 50 |
| |
51 | 51 |
| |
52 | 52 |
| |
53 | 53 |
| |
54 | 54 |
| |
55 |
| - | |
| 55 | + | |
56 | 56 |
| |
57 | 57 |
| |
58 | 58 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
10 |
| - | |
| 10 | + | |
11 | 11 |
| |
12 | 12 |
| |
13 | 13 |
| |
|
0 commit comments