This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
File tree
9 files changed
+132
-100
lines changed- src
- librustc
- infer
- canonical
- region_constraints
- librustc_data_structures
- librustc_typeck/check
9 files changed
+132
-100
lines changedLines changed: 10 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
780 | 780 |
| |
781 | 781 |
| |
782 | 782 |
| |
| 783 | + | |
| 784 | + | |
| 785 | + | |
| 786 | + | |
| 787 | + | |
| 788 | + | |
| 789 | + | |
| 790 | + | |
783 | 791 |
| |
784 | 792 |
| |
785 | 793 |
| |
| |||
2662 | 2670 |
| |
2663 | 2671 |
| |
2664 | 2672 |
| |
2665 |
| - | |
| 2673 | + | |
2666 | 2674 |
| |
2667 | 2675 |
| |
2668 | 2676 |
| |
| |||
4043 | 4051 |
| |
4044 | 4052 |
| |
4045 | 4053 |
| |
| 4054 | + | |
4046 | 4055 |
| |
4047 | 4056 |
| |
4048 | 4057 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
360 | 360 |
| |
361 | 361 |
| |
362 | 362 |
| |
363 |
| - | |
| 363 | + | |
364 | 364 |
| |
365 |
| - | |
| 365 | + | |
366 | 366 |
| |
367 | 367 |
| |
368 | 368 |
| |
|
Lines changed: 84 additions & 59 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
2 |
| - | |
| 1 | + | |
3 | 2 |
| |
4 | 3 |
| |
5 | 4 |
| |
6 | 5 |
| |
| 6 | + | |
| 7 | + | |
| 8 | + | |
7 | 9 |
| |
8 | 10 |
| |
9 | 11 |
| |
| |||
17 | 19 |
| |
18 | 20 |
| |
19 | 21 |
| |
20 |
| - | |
| 22 | + | |
21 | 23 |
| |
22 | 24 |
| |
23 | 25 |
| |
| |||
26 | 28 |
| |
27 | 29 |
| |
28 | 30 |
| |
29 |
| - | |
| 31 | + | |
30 | 32 |
| |
31 | 33 |
| |
32 | 34 |
| |
| |||
42 | 44 |
| |
43 | 45 |
| |
44 | 46 |
| |
45 |
| - | |
| 47 | + | |
46 | 48 |
| |
47 | 49 |
| |
48 |
| - | |
49 |
| - | |
50 |
| - | |
| 50 | + | |
| 51 | + | |
| 52 | + | |
| 53 | + | |
51 | 54 |
| |
52 | 55 |
| |
53 | 56 |
| |
54 |
| - | |
| 57 | + | |
55 | 58 |
| |
56 |
| - | |
| 59 | + | |
57 | 60 |
| |
58 | 61 |
| |
59 | 62 |
| |
60 | 63 |
| |
61 | 64 |
| |
62 |
| - | |
| 65 | + | |
63 | 66 |
| |
64 | 67 |
| |
65 | 68 |
| |
66 | 69 |
| |
67 |
| - | |
68 |
| - | |
69 |
| - | |
70 |
| - | |
71 |
| - | |
72 |
| - | |
| 70 | + | |
| 71 | + | |
| 72 | + | |
| 73 | + | |
| 74 | + | |
| 75 | + | |
| 76 | + | |
| 77 | + | |
| 78 | + | |
| 79 | + | |
| 80 | + | |
| 81 | + | |
| 82 | + | |
| 83 | + | |
| 84 | + | |
| 85 | + | |
| 86 | + | |
| 87 | + | |
| 88 | + | |
| 89 | + | |
73 | 90 |
| |
74 |
| - | |
| 91 | + | |
75 | 92 |
| |
76 | 93 |
| |
77 | 94 |
| |
| |||
84 | 101 |
| |
85 | 102 |
| |
86 | 103 |
| |
87 |
| - | |
88 |
| - | |
| 104 | + | |
| 105 | + | |
| 106 | + | |
| 107 | + | |
| 108 | + | |
| 109 | + | |
| 110 | + | |
89 | 111 |
| |
90 |
| - | |
91 |
| - | |
92 |
| - | |
93 |
| - | |
94 |
| - | |
95 |
| - | |
96 |
| - | |
97 |
| - | |
98 |
| - | |
99 | 112 |
| |
100 | 113 |
| |
101 | 114 |
| |
102 |
| - | |
| 115 | + | |
103 | 116 |
| |
104 |
| - | |
105 |
| - | |
106 |
| - | |
| 117 | + | |
| 118 | + | |
| 119 | + | |
| 120 | + | |
107 | 121 |
| |
108 | 122 |
| |
109 |
| - | |
| 123 | + | |
110 | 124 |
| |
111 | 125 |
| |
112 | 126 |
| |
113 | 127 |
| |
114 | 128 |
| |
115 | 129 |
| |
116 | 130 |
| |
117 |
| - | |
118 |
| - | |
119 |
| - | |
120 |
| - | |
121 |
| - | |
122 |
| - | |
123 |
| - | |
124 |
| - | |
125 |
| - | |
126 |
| - | |
127 |
| - | |
128 |
| - | |
129 |
| - | |
130 |
| - | |
131 |
| - | |
132 |
| - | |
133 |
| - | |
134 |
| - | |
135 |
| - | |
| 131 | + | |
| 132 | + | |
| 133 | + | |
| 134 | + | |
| 135 | + | |
| 136 | + | |
| 137 | + | |
| 138 | + | |
| 139 | + | |
| 140 | + | |
| 141 | + | |
| 142 | + | |
| 143 | + | |
| 144 | + | |
| 145 | + | |
| 146 | + | |
| 147 | + | |
| 148 | + | |
| 149 | + | |
| 150 | + | |
| 151 | + | |
| 152 | + | |
| 153 | + | |
| 154 | + | |
| 155 | + | |
| 156 | + | |
| 157 | + | |
| 158 | + | |
| 159 | + | |
| 160 | + | |
136 | 161 |
| |
137 | 162 |
| |
138 | 163 |
| |
139 | 164 |
| |
140 | 165 |
| |
141 | 166 |
| |
142 | 167 |
| |
143 |
| - | |
144 |
| - | |
145 |
| - | |
146 |
| - | |
147 |
| - | |
148 |
| - | |
| 168 | + | |
| 169 | + | |
| 170 | + | |
| 171 | + | |
| 172 | + | |
149 | 173 |
| |
150 | 174 |
| |
| 175 | + | |
151 | 176 |
| |
152 | 177 |
|
Lines changed: 10 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
999 | 999 |
| |
1000 | 1000 |
| |
1001 | 1001 |
| |
1002 |
| - | |
| 1002 | + | |
1003 | 1003 |
| |
1004 | 1004 |
| |
1005 | 1005 |
| |
1006 |
| - | |
| 1006 | + | |
| 1007 | + | |
| 1008 | + | |
| 1009 | + | |
| 1010 | + | |
1007 | 1011 |
| |
1008 | 1012 |
| |
1009 | 1013 |
| |
| 1014 | + | |
| 1015 | + | |
| 1016 | + | |
| 1017 | + | |
1010 | 1018 |
| |
1011 | 1019 |
| |
1012 | 1020 |
| |
|
Lines changed: 9 additions & 7 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
16 | 16 |
| |
17 | 17 |
| |
18 | 18 |
| |
| 19 | + | |
19 | 20 |
| |
20 | 21 |
| |
21 | 22 |
| |
| |||
840 | 841 |
| |
841 | 842 |
| |
842 | 843 |
| |
843 |
| - | |
844 |
| - | |
845 |
| - | |
846 |
| - | |
847 |
| - | |
848 |
| - | |
849 |
| - | |
| 844 | + | |
| 845 | + | |
| 846 | + | |
| 847 | + | |
| 848 | + | |
| 849 | + | |
| 850 | + | |
| 851 | + | |
850 | 852 |
| |
851 | 853 |
| |
852 | 854 |
| |
|
Lines changed: 11 additions & 22 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
| 3 | + | |
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
7 | 7 |
| |
8 |
| - | |
| 8 | + | |
9 | 9 |
| |
10 | 10 |
| |
11 | 11 |
| |
| |||
58 | 58 |
| |
59 | 59 |
| |
60 | 60 |
| |
61 |
| - | |
62 |
| - | |
63 | 61 |
| |
64 | 62 |
| |
65 | 63 |
| |
| |||
292 | 290 |
| |
293 | 291 |
| |
294 | 292 |
| |
295 |
| - | |
296 |
| - | |
297 |
| - | |
298 |
| - | |
299 |
| - | |
300 |
| - | |
301 |
| - | |
302 |
| - | |
303 |
| - | |
304 |
| - | |
305 |
| - | |
306 |
| - | |
307 |
| - | |
308 |
| - | |
309 |
| - | |
310 |
| - | |
311 |
| - | |
312 |
| - | |
| 293 | + | |
| 294 | + | |
| 295 | + | |
| 296 | + | |
| 297 | + | |
| 298 | + | |
| 299 | + | |
| 300 | + | |
| 301 | + | |
313 | 302 |
| |
314 | 303 |
| |
315 | 304 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
44 | 44 |
| |
45 | 45 |
| |
46 | 46 |
| |
| 47 | + | |
47 | 48 |
| |
48 | 49 |
| |
49 | 50 |
| |
|
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 |
| |
15 | 15 |
| |
16 | 16 |
| |
|
Lines changed: 4 additions & 6 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
92 | 92 |
| |
93 | 93 |
| |
94 | 94 |
| |
95 |
| - | |
| 95 | + | |
96 | 96 |
| |
97 | 97 |
| |
98 | 98 |
| |
| |||
3097 | 3097 |
| |
3098 | 3098 |
| |
3099 | 3099 |
| |
3100 |
| - | |
3101 |
| - | |
| 3100 | + | |
3102 | 3101 |
| |
3103 | 3102 |
| |
3104 | 3103 |
| |
| |||
3108 | 3107 |
| |
3109 | 3108 |
| |
3110 | 3109 |
| |
3111 |
| - | |
3112 |
| - | |
| 3110 | + | |
3113 | 3111 |
| |
3114 | 3112 |
| |
3115 | 3113 |
| |
| |||
3231 | 3229 |
| |
3232 | 3230 |
| |
3233 | 3231 |
| |
3234 |
| - | |
| 3232 | + | |
3235 | 3233 |
| |
3236 | 3234 |
| |
3237 | 3235 |
| |
|
0 commit comments