Formatting corrected

Author: hashedone

chalk-engine/src/logic.rs

@@ -238,11 +238,23 @@ impl<C: Context> Forest<C> {
     /// In terms of the NFTD paper, this corresponds to the *Program
     /// Clause Resolution* step being applied eagerly, as many times
     /// as possible.
-    fn push_initial_strands(context: &impl ContextOps<C>, table_idx: TableIndex, table: &mut Table<C>) {
+    fn push_initial_strands(
+        context: &impl ContextOps<C>,
+        table_idx: TableIndex,
+        table: &mut Table<C>,
+    ) {
         // Instantiate the table goal with fresh inference variables.
         let table_goal = table.table_goal.clone();
         let (infer, subst, environment, goal) = context.instantiate_ucanonical_goal(&table_goal);
-        Self::push_initial_strands_instantiated(context, table_idx, table, infer, subst, environment, goal);
+        Self::push_initial_strands_instantiated(
+            context,
+            table_idx,
+            table,
+            infer,
+            subst,
+            environment,
+            goal,
+        );
     }
 
     fn push_initial_strands_instantiated(

chalk-engine/src/tables.rs

@@ -29,10 +29,7 @@ impl<C: Context> Tables<C> {
         }
     }
 
-    pub(super) fn insert(
-        &mut self,
-        table: Table<C>,
-    ) -> TableIndex {
+    pub(super) fn insert(&mut self, table: Table<C>) -> TableIndex {
         let goal = table.table_goal.clone();
         let index = self.next_index();
         self.tables.push(table);