@@ -9,77 +9,77 @@ The old ruleset is on the left, and the new one on the right.
9
9
---------------------------------- - " Constructor" | ---------------------------------- - " Constructor"
10
10
_ , m ⊢ [p0 , p1 ]: [T0 , T1 ] | _ , m ⊢ [p0 , p1 ]: [T0 , T1 ]
11
11
12
- inh , ro ⊢ p0 : & T0 , inh , ro ⊢ p1 : & T1 |
13
- ------------------------------------ - " ConstructorRef" |
14
- r , m ⊢ [p0 , p1 ]: & [T0 , T1 ] |
12
+ inh , ro ⊢ p0 : & T0 , inh , ro ⊢ p1 : & T1 |
13
+ ------------------------------------ - " ConstructorRef" |
14
+ r , m ⊢ [p0 , p1 ]: & [T0 , T1 ] |
15
15
16
- inh , m ⊢ p0 : & mut T0 , inh , m ⊢ p1 : & mut T1 |
17
- ------------------------------------------ - " ConstructorRef" |
18
- r , m ⊢ [p0 , p1 ]: & mut [T0 , T1 ] |
16
+ inh , m ⊢ p0 : & mut T0 , inh , m ⊢ p1 : & mut T1 |
17
+ ------------------------------------------ - " ConstructorRef" |
18
+ r , m ⊢ [p0 , p1 ]: & mut [T0 , T1 ] |
19
19
20
- inh , ro ⊢ [p0 , p1 ]: & T |
21
- ---------------------- " ConstructorMultiRef" |
22
- r , m ⊢ [p0 , p1 ]: && T |
20
+ inh , ro ⊢ [p0 , p1 ]: & T |
21
+ ---------------------- " ConstructorMultiRef" |
22
+ r , m ⊢ [p0 , p1 ]: && T |
23
23
24
- inh , ro ⊢ [p0 , p1 ]: & T |
25
- ------------------------ " ConstructorMultiRef" |
26
- r , m ⊢ [p0 , p1 ]: && mut T |
24
+ inh , ro ⊢ [p0 , p1 ]: & T |
25
+ ------------------------ " ConstructorMultiRef" |
26
+ r , m ⊢ [p0 , p1 ]: && mut T |
27
27
28
- inh , ro ⊢ [p0 , p1 ]: & T |
29
- ------------------------ " ConstructorMultiRef" |
30
- r , m ⊢ [p0 , p1 ]: & mut & T |
28
+ inh , ro ⊢ [p0 , p1 ]: & T |
29
+ ------------------------ " ConstructorMultiRef" |
30
+ r , m ⊢ [p0 , p1 ]: & mut & T |
31
31
32
- inh , m ⊢ [p0 , p1 ]: & mut T |
33
- ---------------------------- " ConstructorMultiRef" |
34
- r , m ⊢ [p0 , p1 ]: & mut & mut T |
32
+ inh , m ⊢ [p0 , p1 ]: & mut T |
33
+ ---------------------------- " ConstructorMultiRef" |
34
+ r , m ⊢ [p0 , p1 ]: & mut & mut T |
35
35
36
36
real , ro ⊢ p : T | real , ro ⊢ p : T
37
37
---------------- " Deref" | ---------------- " Deref"
38
38
real , m ⊢ & p : & T | real , m ⊢ & p : & T
39
39
40
- _ , ro ⊢ p : T |
41
- ------------------------------------ - " Deref" |
42
- inh , m ⊢ & p : & T , T is not a reference |
40
+ _ , ro ⊢ p : T |
41
+ ------------------------------------ - " Deref" |
42
+ inh , m ⊢ & p : & T , T is not a reference |
43
43
44
- real , ro ⊢ p : & T |
45
- ---------------- " Deref" |
46
- inh , m ⊢ & p : && T |
44
+ real , ro ⊢ p : & T |
45
+ ---------------- " Deref" |
46
+ inh , m ⊢ & p : && T |
47
47
48
- real , ro ⊢ p : & mut T |
49
- -------------------- " Deref" |
50
- inh , m ⊢ & p : && mut T |
48
+ real , ro ⊢ p : & mut T |
49
+ -------------------- " Deref" |
50
+ inh , m ⊢ & p : && mut T |
51
51
52
52
real , m ⊢ p : T | real , m ⊢ p : T
53
53
------------------------ " Deref" | ------------------------ " Deref"
54
54
real , m ⊢ & mut p : & mut T | real , m ⊢ & mut p : & mut T
55
55
56
- _ , m ⊢ p : T |
57
- -------------------------------------------- - " Deref" |
58
- inh , m ⊢ & mut p : & mut T , T is not a reference |
56
+ _ , m ⊢ p : T |
57
+ -------------------------------------------- - " Deref" |
58
+ inh , m ⊢ & mut p : & mut T , T is not a reference |
59
59
60
- real , m ⊢ p : & T |
61
- ------------------------ " Deref" |
62
- inh , m ⊢ & mut p : & mut & T |
60
+ real , m ⊢ p : & T |
61
+ ------------------------ " Deref" |
62
+ inh , m ⊢ & mut p : & mut & T |
63
63
64
- real , m ⊢ p : & mut T |
65
- ---------------------------- " Deref" |
66
- inh , m ⊢ & mut p : & mut & mut T |
64
+ real , m ⊢ p : & mut T |
65
+ ---------------------------- " Deref" |
66
+ inh , m ⊢ & mut p : & mut & mut T |
67
67
68
- real , ro ⊢ p : T |
69
- -------------------- " DerefMutWithShared" |
70
- real , m ⊢ & p : & mut T |
68
+ real , ro ⊢ p : T |
69
+ -------------------- " DerefMutWithShared" |
70
+ real , m ⊢ & p : & mut T |
71
71
72
- _ , ro ⊢ p : T |
73
- ---------------------------------------- - " DerefMutWithShared" |
74
- inh , m ⊢ & p : & mut T , T is not a reference |
72
+ _ , ro ⊢ p : T |
73
+ ---------------------------------------- - " DerefMutWithShared" |
74
+ inh , m ⊢ & p : & mut T , T is not a reference |
75
75
76
- real , ro ⊢ p : & T |
77
- -------------------- " DerefMutWithShared" |
78
- inh , m ⊢ & p : & mut & T |
76
+ real , ro ⊢ p : & T |
77
+ -------------------- " DerefMutWithShared" |
78
+ inh , m ⊢ & p : & mut & T |
79
79
80
- real , ro ⊢ p : & mut T |
81
- ------------------------ " DerefMutWithShared" |
82
- inh , m ⊢ & p : & mut & mut T |
80
+ real , ro ⊢ p : & mut T |
81
+ ------------------------ " DerefMutWithShared" |
82
+ inh , m ⊢ & p : & mut & mut T |
83
83
84
84
inh , m ⊢ x : & T | inh , m ⊢ x : & T
85
85
------------------ " BindingBorrow" | ------------------ " BindingBorrow"
@@ -89,21 +89,21 @@ The old ruleset is on the left, and the new one on the right.
89
89
---------------------- " BindingBorrow" | ---------------------- " BindingBorrow"
90
90
real , m ⊢ ref mut x : T | real , m ⊢ ref mut x : T
91
91
92
- |
92
+ |
93
93
---------- - " Binding" | ---------- - " Binding"
94
94
r , m ⊢ x : T | r , m ⊢ x : T
95
95
96
- |
96
+ |
97
97
------------------ " Binding" | ------------------ " Binding"
98
98
real , m ⊢ mut x : T | real , m ⊢ mut x : T
99
99
100
- |
101
- ------------------ " Binding" |
102
- inh , m ⊢ mut x : & T |
100
+ |
101
+ ------------------ " Binding" |
102
+ inh , m ⊢ mut x : & T |
103
103
104
- |
105
- ---------------------- " Binding" |
106
- inh , m ⊢ mut x : & mut T |
104
+ |
105
+ ---------------------- " Binding" |
106
+ inh , m ⊢ mut x : & mut T |
107
107
108
108
109
109
allow_ref_pat_on_ref_mut : true - > false
0 commit comments