diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2018-06-28 15:00:00 -0400 |
|---|---|---|
| committer | David Wood <david@davidtw.co> | 2018-07-01 16:14:26 +0100 |
| commit | f334a9e8dd3438fb2f827b8f3932b18ae50e76ce (patch) | |
| tree | 0e19e158fc10af950c45af67df14b5f4155262fc | |
| parent | a11245f80e56e8281f7bbc237140926fe428d8bc (diff) | |
| download | rust-f334a9e8dd3438fb2f827b8f3932b18ae50e76ce.tar.gz rust-f334a9e8dd3438fb2f827b8f3932b18ae50e76ce.zip | |
WIP boring() long line
| -rw-r--r-- | src/librustc_mir/borrow_check/nll/type_check/mod.rs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/librustc_mir/borrow_check/nll/type_check/mod.rs b/src/librustc_mir/borrow_check/nll/type_check/mod.rs index 911e5434259..e3d20d9a8db 100644 --- 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) { |