rustfmt

Author: yaahc

chalk-integration/src/lowering.rs

@@ -1079,7 +1079,9 @@ impl LowerLifetime for Lifetime {
     fn lower(&self, env: &Env) -> LowerResult<chalk_ir::Lifetime<ChalkIr>> {
         match *self {
             Lifetime::Id { name } => match env.lookup_lifetime(name)? {
-                LifetimeLookup::Parameter(d) => Ok(chalk_ir::LifetimeData::BoundVar(d).intern(env.interner())),
+                LifetimeLookup::Parameter(d) => {
+                    Ok(chalk_ir::LifetimeData::BoundVar(d).intern(env.interner()))
+                }
             },
         }
     }

chalk-ir/src/fold/subst.rs

@@ -44,7 +44,10 @@ impl<I: Interner> Folder<I> for Subst<'_, '_, I> {
 
     fn fold_free_var_lifetime(&mut self, depth: usize, binders: usize) -> Fallible<Lifetime<I>> {
         if depth >= self.parameters.len() {
-            Ok(LifetimeData::<I>::BoundVar(depth - self.parameters.len() + binders).intern(self.interner()))
+            Ok(
+                LifetimeData::<I>::BoundVar(depth - self.parameters.len() + binders)
+                    .intern(self.interner()),
+            )
         } else {
             match self.parameters[depth].data() {
                 ParameterKind::Lifetime(l) => Ok(l.shifted_in(self.interner(), binders)),

chalk-solve/src/infer/unify.rs

@@ -422,8 +422,10 @@ impl<I: Interner> Folder<I> for OccursCheck<'_, '_, I> {
             // exists<'x> forall<'b> ?T = Foo<'x>, where 'x = 'b
 
             let tick_x = self.unifier.table.new_variable(self.universe_index);
-            self.unifier
-                .push_lifetime_eq_constraint(tick_x.to_lifetime(self.interner()), ui.to_lifetime(self.interner()));
+            self.unifier.push_lifetime_eq_constraint(
+                tick_x.to_lifetime(self.interner()),
+                ui.to_lifetime(self.interner()),
+            );
             Ok(tick_x.to_lifetime(self.interner()))
         } else {
             // If the `ui` is higher than `self.universe_index`, then we can name

chalk-solve/src/solve/slg/aggregate.rs

@@ -373,7 +373,9 @@ impl<I: Interner> AntiUnifier<'_, '_, I> {
     }
 
     fn new_lifetime_variable(&mut self) -> Lifetime<I> {
-        self.infer.new_variable(self.universe).to_lifetime(self.interner)
+        self.infer
+            .new_variable(self.universe)
+            .to_lifetime(self.interner)
     }
 }