Skip to content

Commit 37945fe

Browse files
committed
MIR typeck: rustfmt
1 parent 034018c commit 37945fe

File tree

1 file changed

+4
-10
lines changed

1 file changed

+4
-10
lines changed

src/librustc_mir/transform/type_check.rs

Lines changed: 4 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -391,10 +391,9 @@ impl<'a, 'gcx, 'tcx> TypeChecker<'a, 'gcx, 'tcx> {
391391
traits::ObligationCause::misc(span, self.body_id)
392392
}
393393

394-
fn fully_perform_op<OP, R>(&self,
395-
op: OP)
396-
-> Result<R, TypeError<'tcx>>
397-
where OP: FnOnce() -> InferResult<'tcx, R>
394+
fn fully_perform_op<OP, R>(&self, op: OP) -> Result<R, TypeError<'tcx>>
395+
where
396+
OP: FnOnce() -> InferResult<'tcx, R>,
398397
{
399398
let mut fulfill_cx = FulfillmentContext::new();
400399
let InferOk { value, obligations } = self.infcx.commit_if_ok(|_| op())?;
@@ -405,12 +404,7 @@ impl<'a, 'gcx, 'tcx> TypeChecker<'a, 'gcx, 'tcx> {
405404
Ok(value)
406405
}
407406

408-
fn sub_types(
409-
&self,
410-
sub: Ty<'tcx>,
411-
sup: Ty<'tcx>,
412-
_at_location: Location,
413-
) -> UnitResult<'tcx> {
407+
fn sub_types(&self, sub: Ty<'tcx>, sup: Ty<'tcx>, _at_location: Location) -> UnitResult<'tcx> {
414408
self.fully_perform_op(|| {
415409
self.infcx
416410
.at(&self.misc(self.last_span), self.param_env)

0 commit comments

Comments
 (0)