god damnit cargo fmt

Author: yaahc

chalk-ir/src/lib.rs

@@ -1080,7 +1080,12 @@ impl<I: Interner> Goal<I> {
         I::goal_data(&self.interned)
     }
 
-    pub fn quantify(self, interner: &I, kind: QuantifierKind, binders: Vec<ParameterKind<()>>) -> Goal<I> {
+    pub fn quantify(
+        self,
+        interner: &I,
+        kind: QuantifierKind,
+        binders: Vec<ParameterKind<()>>,
+    ) -> Goal<I> {
         GoalData::Quantified(
             kind,
             Binders {

chalk-solve/src/coherence/solve.rs

@@ -200,9 +200,17 @@ impl<I: Interner> CoherenceSolver<'_, I> {
 
         // Join all of the goals together.
         let goal = Box::new(Goal::all(interner, params_goals.chain(less_special_wc)))
-            .quantify(interner, QuantifierKind::Exists, less_special.binders.binders.clone())
+            .quantify(
+                interner,
+                QuantifierKind::Exists,
+                less_special.binders.binders.clone(),
+            )
             .implied_by(interner, more_special_wc)
-            .quantify(interner, QuantifierKind::ForAll, more_special.binders.binders.clone());
+            .quantify(
+                interner,
+                QuantifierKind::ForAll,
+                more_special.binders.binders.clone(),
+            );
 
         let canonical_goal = &goal.into_closed_goal(interner);
         let result = match self

chalk-solve/src/wf.rs

@@ -193,7 +193,11 @@ where
         // on the struct definition hold.
         let goal = GoalData::Implies(hypotheses, goal)
             .intern(interner)
-            .quantify(interner, QuantifierKind::ForAll, struct_datum.binders.binders.clone());
+            .quantify(
+                interner,
+                QuantifierKind::ForAll,
+                struct_datum.binders.binders.clone(),
+            );
 
         let is_legal = match self
             .solver_choice
@@ -287,7 +291,11 @@ where
 
         let goal = GoalData::Implies(hypotheses, goal)
             .intern(interner)
-            .quantify(interner, QuantifierKind::ForAll, impl_datum.binders.binders.clone());
+            .quantify(
+                interner,
+                QuantifierKind::ForAll,
+                impl_datum.binders.binders.clone(),
+            );
 
         debug!("WF trait goal: {:?}", goal);