fix spaces breaking rustfmt and format everything

Author: lqd

crates/formality-core/src/judgment/test_filtered.rs

@@ -1,8 +1,8 @@
 #![cfg(test)]
 
 use std::sync::Arc;
-use crate::cast_impl;
 
+use crate::cast_impl;
 use crate::judgment_fn;
 
 #[derive(Ord, PartialOrd, Eq, PartialEq, Clone, Debug, Hash)]
@@ -24,14 +24,14 @@ impl Graph {
 judgment_fn!(
     fn transitive_reachable(g: Arc<Graph>, node: u32) => u32 {
         debug(node, g)
-        
+
         (
             (graph.successors(a) => b)
             (if b % 2 == 0)
             --------------------------------------- ("base")
             (transitive_reachable(graph, a) => b)
         )
-    
+
         (
             (transitive_reachable(&graph, a) => b)
             (transitive_reachable(&graph, b) => c)

crates/formality-prove/src/db.rs

@@ -0,0 +1 @@
+

crates/formality-prove/src/prove/minimize/test.rs

@@ -23,7 +23,7 @@ fn minimize_a() {
     let (mut env_min, term_min, m) = minimize(env, term);
 
     expect!["(Env { variables: [?ty_0, ?ty_1], coherence_mode: false }, [?ty_0, ?ty_1])"]
-    .assert_eq(&format!("{:?}", (&env_min, &term_min)));
+        .assert_eq(&format!("{:?}", (&env_min, &term_min)));
 
     let ty0 = term_min[0].as_variable().unwrap();
     let ty1 = term_min[1].as_variable().unwrap();

examples/formality-eg/type_system.rs

@@ -0,0 +1 @@
+