File tree 1 file changed +1
-12
lines changed
compiler/rustc_data_structures/src
1 file changed +1
-12
lines changed Original file line number Diff line number Diff line change @@ -106,9 +106,6 @@ where
106
106
where
107
107
K :: Value : ut:: UnifyValue < Error = ut:: NoError > ,
108
108
{
109
- if self . storage . unify_log . needs_log ( vid) {
110
- self . storage . modified_set . set ( & mut self . undo_log , vid) ;
111
- }
112
109
let vid = vid. into ( ) ;
113
110
let mut relations = self . relations ( ) ;
114
111
debug_assert ! ( relations. find( vid) == vid) ;
@@ -131,10 +128,7 @@ where
131
128
vid : I ,
132
129
value : K :: Value ,
133
130
) -> Result < ( ) , <K :: Value as ut:: UnifyValue >:: Error > {
134
- let vid = self . find ( vid) . into ( ) ;
135
- if self . storage . unify_log . needs_log ( vid) {
136
- self . storage . modified_set . set ( & mut self . undo_log , vid) ;
137
- }
131
+ let vid = self . find ( vid) ;
138
132
self . relations ( ) . unify_var_value ( vid, value)
139
133
}
140
134
@@ -148,11 +142,6 @@ where
148
142
149
143
relations. unify_var_var ( a, b) ?;
150
144
151
- if a == relations. find ( a) {
152
- self . storage . unify_log . unify ( & mut self . undo_log , a. into ( ) , b. into ( ) ) ;
153
- } else {
154
- self . storage . unify_log . unify ( & mut self . undo_log , b. into ( ) , a. into ( ) ) ;
155
- }
156
145
Ok ( ( ) )
157
146
}
158
147
You can’t perform that action at this time.
0 commit comments