@@ -6,10 +6,6 @@ Current ruleset was saved
6
6
The two rulesets are described by the following sets of rules , with differences highlighted .
7
7
The old ruleset is on the left , and the new one on the right .
8
8
9
- real , m ⊢ p0 : T0 , real , m ⊢ p1 : T1 | real , m ⊢ p0 : T0 , real , m ⊢ p1 : T1
10
- ---------------------------------- - " Constructor" | ---------------------------------- - " Constructor"
11
- _ , m ⊢ [p0 , p1 ]: [T0 , T1 ] | _ , m ⊢ [p0 , p1 ]: [T0 , T1 ]
12
-
13
9
inh , ro ⊢ p0 : & T0 , inh , ro ⊢ p1 : & T1 |
14
10
------------------------------------ - " ConstructorRef" |
15
11
r , m ⊢ [p0 , p1 ]: & [T0 , T1 ] |
@@ -34,10 +30,6 @@ The old ruleset is on the left, and the new one on the right.
34
30
---------------------------- " ConstructorMultiRef" |
35
31
r , m ⊢ [p0 , p1 ]: & mut & mut T |
36
32
37
- real , ro ⊢ p : T | real , ro ⊢ p : T
38
- ---------------- " Deref" | ---------------- " Deref"
39
- real , m ⊢ & p : & T | real , m ⊢ & p : & T
40
-
41
33
_ , ro ⊢ p : T |
42
34
------------------------------------ - " Deref" |
43
35
inh , m ⊢ & p : & T , T is not a reference |
@@ -50,10 +42,6 @@ The old ruleset is on the left, and the new one on the right.
50
42
-------------------- " Deref" |
51
43
inh , m ⊢ & p : && mut T |
52
44
53
- real , m ⊢ p : T | real , m ⊢ p : T
54
- ------------------------ " Deref" | ------------------------ " Deref"
55
- real , m ⊢ & mut p : & mut T | real , m ⊢ & mut p : & mut T
56
-
57
45
_ , m ⊢ p : T |
58
46
-------------------------------------------- - " Deref" |
59
47
inh , m ⊢ & mut p : & mut T , T is not a reference |
@@ -82,22 +70,6 @@ The old ruleset is on the left, and the new one on the right.
82
70
------------------------ " DerefMutWithShared" |
83
71
inh , m ⊢ & p : & mut & mut T |
84
72
85
- inh , m ⊢ x : & T | inh , m ⊢ x : & T
86
- ------------------ " BindingBorrow" | ------------------ " BindingBorrow"
87
- real , m ⊢ ref x : T | real , m ⊢ ref x : T
88
-
89
- inh , m ⊢ x : & mut T | inh , m ⊢ x : & mut T
90
- ---------------------- " BindingBorrow" | ---------------------- " BindingBorrow"
91
- real , m ⊢ ref mut x : T | real , m ⊢ ref mut x : T
92
-
93
- |
94
- ---------- - " Binding" | ---------- - " Binding"
95
- r , m ⊢ x : T | r , m ⊢ x : T
96
-
97
- |
98
- ------------------ " Binding" | ------------------ " Binding"
99
- real , m ⊢ mut x : T | real , m ⊢ mut x : T
100
-
101
73
|
102
74
------------------ " Binding" |
103
75
inh , m ⊢ mut x : & T |
@@ -121,10 +93,6 @@ Current and saved rulesets were swapped
121
93
The two rulesets are described by the following sets of rules , with differences highlighted .
122
94
The old current ruleset is on the left , and the new current one on the right .
123
95
124
- real , m ⊢ p0 : T0 , real , m ⊢ p1 : T1 | real , m ⊢ p0 : T0 , real , m ⊢ p1 : T1
125
- ---------------------------------- - " Constructor" | ---------------------------------- - " Constructor"
126
- _ , m ⊢ [p0 , p1 ]: [T0 , T1 ] | _ , m ⊢ [p0 , p1 ]: [T0 , T1 ]
127
-
128
96
| inh , ro ⊢ p0 : & T0 , inh , ro ⊢ p1 : & T1
129
97
| ------------------------------------ - " ConstructorRef"
130
98
| r , m ⊢ [p0 , p1 ]: & [T0 , T1 ]
@@ -149,10 +117,6 @@ The old current ruleset is on the left, and the new current one on the right.
149
117
| ---------------------------- " ConstructorMultiRef"
150
118
| r , m ⊢ [p0 , p1 ]: & mut & mut T
151
119
152
- real , ro ⊢ p : T | real , ro ⊢ p : T
153
- ---------------- " Deref" | ---------------- " Deref"
154
- real , m ⊢ & p : & T | real , m ⊢ & p : & T
155
-
156
120
| _ , ro ⊢ p : T
157
121
| ------------------------------------ - " Deref"
158
122
| inh , m ⊢ & p : & T , T is not a reference
@@ -165,10 +129,6 @@ The old current ruleset is on the left, and the new current one on the right.
165
129
| -------------------- " Deref"
166
130
| inh , m ⊢ & p : && mut T
167
131
168
- real , m ⊢ p : T | real , m ⊢ p : T
169
- ------------------------ " Deref" | ------------------------ " Deref"
170
- real , m ⊢ & mut p : & mut T | real , m ⊢ & mut p : & mut T
171
-
172
132
| _ , m ⊢ p : T
173
133
| -------------------------------------------- - " Deref"
174
134
| inh , m ⊢ & mut p : & mut T , T is not a reference
@@ -197,22 +157,6 @@ The old current ruleset is on the left, and the new current one on the right.
197
157
| ------------------------ " DerefMutWithShared"
198
158
| inh , m ⊢ & p : & mut & mut T
199
159
200
- inh , m ⊢ x : & T | inh , m ⊢ x : & T
201
- ------------------ " BindingBorrow" | ------------------ " BindingBorrow"
202
- real , m ⊢ ref x : T | real , m ⊢ ref x : T
203
-
204
- inh , m ⊢ x : & mut T | inh , m ⊢ x : & mut T
205
- ---------------------- " BindingBorrow" | ---------------------- " BindingBorrow"
206
- real , m ⊢ ref mut x : T | real , m ⊢ ref mut x : T
207
-
208
- |
209
- ---------- - " Binding" | ---------- - " Binding"
210
- r , m ⊢ x : T | r , m ⊢ x : T
211
-
212
- |
213
- ------------------ " Binding" | ------------------ " Binding"
214
- real , m ⊢ mut x : T | real , m ⊢ mut x : T
215
-
216
160
|
217
161
| ------------------ " Binding"
218
162
| inh , m ⊢ mut x : & T
0 commit comments