@@ -71,9 +71,9 @@ pub fn super_combine_tys<'a,'tcx:'a,R>(infcx: &InferCtxt<'a, 'tcx>,
7171 // Relate integral variables to other types
7272 ( & ty:: TyInfer ( ty:: IntVar ( a_id) ) , & ty:: TyInfer ( ty:: IntVar ( b_id) ) ) => {
7373 infcx. int_unification_table
74- . borrow_mut ( )
75- . unify_var_var ( a_id, b_id)
76- . map_err ( |e| int_unification_error ( a_is_expected, e) ) ?;
74+ . borrow_mut ( )
75+ . unify_var_var ( a_id, b_id)
76+ . map_err ( |e| int_unification_error ( a_is_expected, e) ) ?;
7777 Ok ( a)
7878 }
7979 ( & ty:: TyInfer ( ty:: IntVar ( v_id) ) , & ty:: TyInt ( v) ) => {
@@ -92,9 +92,9 @@ pub fn super_combine_tys<'a,'tcx:'a,R>(infcx: &InferCtxt<'a, 'tcx>,
9292 // Relate floating-point variables to other types
9393 ( & ty:: TyInfer ( ty:: FloatVar ( a_id) ) , & ty:: TyInfer ( ty:: FloatVar ( b_id) ) ) => {
9494 infcx. float_unification_table
95- . borrow_mut ( )
96- . unify_var_var ( a_id, b_id)
97- . map_err ( |e| float_unification_error ( relation. a_is_expected ( ) , e) ) ?;
95+ . borrow_mut ( )
96+ . unify_var_var ( a_id, b_id)
97+ . map_err ( |e| float_unification_error ( relation. a_is_expected ( ) , e) ) ?;
9898 Ok ( a)
9999 }
100100 ( & ty:: TyInfer ( ty:: FloatVar ( v_id) ) , & ty:: TyFloat ( v) ) => {
@@ -123,8 +123,7 @@ fn unify_integral_variable<'a,'tcx>(infcx: &InferCtxt<'a,'tcx>,
123123 val : ty:: IntVarValue )
124124 -> RelateResult < ' tcx , Ty < ' tcx > >
125125{
126- infcx
127- . int_unification_table
126+ infcx. int_unification_table
128127 . borrow_mut ( )
129128 . unify_var_value ( vid, val)
130129 . map_err ( |e| int_unification_error ( vid_is_expected, e) ) ?;
@@ -140,8 +139,7 @@ fn unify_float_variable<'a,'tcx>(infcx: &InferCtxt<'a,'tcx>,
140139 val : ast:: FloatTy )
141140 -> RelateResult < ' tcx , Ty < ' tcx > >
142141{
143- infcx
144- . float_unification_table
142+ infcx. float_unification_table
145143 . borrow_mut ( )
146144 . unify_var_value ( vid, val)
147145 . map_err ( |e| float_unification_error ( vid_is_expected, e) ) ?;
0 commit comments