File tree Expand file tree Collapse file tree 1 file changed +1
-12
lines changed
compiler/rustc_data_structures/src Expand file tree Collapse file tree 1 file changed +1
-12
lines changed Original file line number Diff line number Diff line change @@ -106,9 +106,6 @@ where
106106 where
107107 K :: Value : ut:: UnifyValue < Error = ut:: NoError > ,
108108 {
109- if self . storage . unify_log . needs_log ( vid) {
110- self . storage . modified_set . set ( & mut self . undo_log , vid) ;
111- }
112109 let vid = vid. into ( ) ;
113110 let mut relations = self . relations ( ) ;
114111 debug_assert ! ( relations. find( vid) == vid) ;
@@ -131,10 +128,7 @@ where
131128 vid : I ,
132129 value : K :: Value ,
133130 ) -> 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) ;
138132 self . relations ( ) . unify_var_value ( vid, value)
139133 }
140134
@@ -148,11 +142,6 @@ where
148142
149143 relations. unify_var_var ( a, b) ?;
150144
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- }
156145 Ok ( ( ) )
157146 }
158147
You can’t perform that action at this time.
0 commit comments