fmt

Author: tiif

src/test/mod.rs

@@ -107,7 +107,7 @@ fn test_something() {
                 fn bar(()) -> () = minirust(v1) -> v0 {
                     let v0: ();
                     let v1: ();
-                    let v2: 
+                    let v2:
 
                     bb0: {
                         statements {
@@ -123,7 +123,6 @@ fn test_something() {
 
         expect_test::expect!["()"]
     )
-
 }
 
 #[test]

tests/projection.rs

@@ -117,7 +117,6 @@ fn projection_equality() {
     );
 }
 
-
 const TEST_TY_IS_INT: &str = "[
     crate test {
         trait Id {
@@ -130,7 +129,6 @@ const TEST_TY_IS_INT: &str = "[
     }
 ]";
 
-
 #[test]
 fn test_ty_is_int() {
     test_where_clause(
@@ -139,7 +137,6 @@ fn test_ty_is_int() {
     )
     .assert_ok(expect_test::expect!["{Constraints { env: Env { variables: [], bias: Soundness, pending: [] }, known_true: true, substitution: {} }}"]);
 
-
     test_where_clause(
         TEST_TY_IS_INT,
         "{} => { @is_int(<u16 as Id>::This) }",
@@ -152,6 +149,4 @@ fn test_ty_is_int() {
                 judgment `prove_wc { goal: @ is_int(<u16 as Id>::This), assumptions: {}, env: Env { variables: [], bias: Soundness, pending: [] } }` failed at the following rule(s):
                   the rule "ty is int" failed at step #0 (src/file.rs:LL:CC) because
                     judgment had no applicable rules: `is_int { goal: <u16 as Id>::This, assumptions: {}, env: Env { variables: [], bias: Soundness, pending: [] } }`"#]]);
-
 }
-