@@ -454,7 +454,7 @@ pub fn mk_eqty<'a, 'tcx>(cx: &InferCtxt<'a, 'tcx>,
454
454
-> UnitResult < ' tcx >
455
455
{
456
456
debug ! ( "mk_eqty({:?} <: {:?})" , a, b) ;
457
- cx. commit_if_ok ( |_| cx . eq_types ( a_is_expected, origin, a, b) )
457
+ cx. eq_types ( a_is_expected, origin, a, b)
458
458
}
459
459
460
460
pub fn mk_eq_trait_refs < ' a , ' tcx > ( cx : & InferCtxt < ' a , ' tcx > ,
@@ -466,7 +466,7 @@ pub fn mk_eq_trait_refs<'a, 'tcx>(cx: &InferCtxt<'a, 'tcx>,
466
466
{
467
467
debug ! ( "mk_eq_trait_refs({:?} <: {:?})" ,
468
468
a, b) ;
469
- cx. commit_if_ok ( |_| cx . eq_trait_refs ( a_is_expected, origin, a. clone ( ) , b. clone ( ) ) )
469
+ cx. eq_trait_refs ( a_is_expected, origin, a, b)
470
470
}
471
471
472
472
pub fn mk_sub_poly_trait_refs < ' a , ' tcx > ( cx : & InferCtxt < ' a , ' tcx > ,
@@ -478,7 +478,7 @@ pub fn mk_sub_poly_trait_refs<'a, 'tcx>(cx: &InferCtxt<'a, 'tcx>,
478
478
{
479
479
debug ! ( "mk_sub_poly_trait_refs({:?} <: {:?})" ,
480
480
a, b) ;
481
- cx. commit_if_ok ( |_| cx . sub_poly_trait_refs ( a_is_expected, origin, a. clone ( ) , b. clone ( ) ) )
481
+ cx. sub_poly_trait_refs ( a_is_expected, origin, a, b)
482
482
}
483
483
484
484
fn expected_found < T > ( a_is_expected : bool ,
0 commit comments