From 37945fe3e89951a92c5abd110e8fa1a368c7eed9 Mon Sep 17 00:00:00 2001 From: Niko Matsakis Date: Tue, 7 Nov 2017 04:40:35 -0500 Subject: [PATCH] MIR typeck: rustfmt --- src/librustc_mir/transform/type_check.rs | 14 ++++---------- 1 file changed, 4 insertions(+), 10 deletions(-) diff --git a/src/librustc_mir/transform/type_check.rs b/src/librustc_mir/transform/type_check.rs index fa90835c294b..6384fc56b300 100644 --- a/src/librustc_mir/transform/type_check.rs +++ b/src/librustc_mir/transform/type_check.rs @@ -391,10 +391,9 @@ impl<'a, 'gcx, 'tcx> TypeChecker<'a, 'gcx, 'tcx> { traits::ObligationCause::misc(span, self.body_id) } - fn fully_perform_op(&self, - op: OP) - -> Result> - where OP: FnOnce() -> InferResult<'tcx, R> + fn fully_perform_op(&self, op: OP) -> Result> + where + OP: FnOnce() -> InferResult<'tcx, R>, { let mut fulfill_cx = FulfillmentContext::new(); let InferOk { value, obligations } = self.infcx.commit_if_ok(|_| op())?; @@ -405,12 +404,7 @@ impl<'a, 'gcx, 'tcx> TypeChecker<'a, 'gcx, 'tcx> { Ok(value) } - fn sub_types( - &self, - sub: Ty<'tcx>, - sup: Ty<'tcx>, - _at_location: Location, - ) -> UnitResult<'tcx> { + fn sub_types(&self, sub: Ty<'tcx>, sup: Ty<'tcx>, _at_location: Location) -> UnitResult<'tcx> { self.fully_perform_op(|| { self.infcx .at(&self.misc(self.last_span), self.param_env)