@@ -71,9 +71,9 @@ pub fn super_combine_tys<'a,'tcx:'a,R>(infcx: &InferCtxt<'a, 'tcx>,
71
71
// Relate integral variables to other types
72
72
( & ty:: TyInfer ( ty:: IntVar ( a_id) ) , & ty:: TyInfer ( ty:: IntVar ( b_id) ) ) => {
73
73
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) ) ?;
77
77
Ok ( a)
78
78
}
79
79
( & 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>,
92
92
// Relate floating-point variables to other types
93
93
( & ty:: TyInfer ( ty:: FloatVar ( a_id) ) , & ty:: TyInfer ( ty:: FloatVar ( b_id) ) ) => {
94
94
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) ) ?;
98
98
Ok ( a)
99
99
}
100
100
( & ty:: TyInfer ( ty:: FloatVar ( v_id) ) , & ty:: TyFloat ( v) ) => {
@@ -123,8 +123,7 @@ fn unify_integral_variable<'a,'tcx>(infcx: &InferCtxt<'a,'tcx>,
123
123
val : ty:: IntVarValue )
124
124
-> RelateResult < ' tcx , Ty < ' tcx > >
125
125
{
126
- infcx
127
- . int_unification_table
126
+ infcx. int_unification_table
128
127
. borrow_mut ( )
129
128
. unify_var_value ( vid, val)
130
129
. map_err ( |e| int_unification_error ( vid_is_expected, e) ) ?;
@@ -140,8 +139,7 @@ fn unify_float_variable<'a,'tcx>(infcx: &InferCtxt<'a,'tcx>,
140
139
val : ast:: FloatTy )
141
140
-> RelateResult < ' tcx , Ty < ' tcx > >
142
141
{
143
- infcx
144
- . float_unification_table
142
+ infcx. float_unification_table
145
143
. borrow_mut ( )
146
144
. unify_var_value ( vid, val)
147
145
. map_err ( |e| float_unification_error ( vid_is_expected, e) ) ?;
0 commit comments