WIP boring() long line

2018-06-28 15:00:00 -04:00 · 2018-06-28 15:00:00 -04:00 · f334a9e8dd
commit f334a9e8dd
parent a11245f80e
1 changed files with 4 additions and 1 deletions
--- a/src/librustc_mir/borrow_check/nll/type_check/mod.rs
+++ b/src/librustc_mir/borrow_check/nll/type_check/mod.rs
@ -1523,7 +1523,10 @@ impl<'a, 'gcx, 'tcx> TypeChecker<'a, 'gcx, 'tcx> {
            AggregateKind::Array(_) | AggregateKind::Tuple => ty::InstantiatedPredicates::empty(),
        };

-        self.normalize_and_prove_instantiated_predicates(instantiated_predicates, location.boring());
+        self.normalize_and_prove_instantiated_predicates(
+            instantiated_predicates,
+            location.boring(),
+        );
    }

    fn prove_trait_ref(&mut self, trait_ref: ty::TraitRef<'tcx>, locations: Locations) {