Fix formatting

Author: nathanwhit

chalk-integration/src/lowering.rs

@@ -1212,12 +1212,15 @@ impl LowerTy for Ty {
             .intern(interner)),
 
             Ty::Raw { mutability, ty } => Ok(chalk_ir::TyData::Apply(chalk_ir::ApplicationTy {
-                name: chalk_ir::TypeName::Raw(ast_mutability_to_chalk_mutability(mutability.clone())),
+                name: chalk_ir::TypeName::Raw(ast_mutability_to_chalk_mutability(
+                    mutability.clone(),
+                )),
                 substitution: chalk_ir::Substitution::from_fallible(
-                    interner, 
+                    interner,
                     std::iter::once(Ok(ty.lower(env)?)),
                 )?,
-            }).intern(interner)),
+            })
+            .intern(interner)),
         }
     }
 }

chalk-ir/src/visit/boring_impls.rs

@@ -5,10 +5,10 @@
 //! The more interesting impls of `Visit` remain in the `visit` module.
 
 use crate::{
-    AssocTypeId, ClausePriority, DebruijnIndex, FloatTy, Goals, ImplId, IntTy, Interner, Mutability,
-    OpaqueTyId, Parameter, ParameterKind, PlaceholderIndex, ProgramClause, ProgramClauseData,
-    ProgramClauses, QuantifiedWhereClauses, QuantifierKind, Scalar, StructId, Substitution,
-    SuperVisit, TraitId, UintTy, UniverseIndex, Visit, VisitResult, Visitor,
+    AssocTypeId, ClausePriority, DebruijnIndex, FloatTy, Goals, ImplId, IntTy, Interner,
+    Mutability, OpaqueTyId, Parameter, ParameterKind, PlaceholderIndex, ProgramClause,
+    ProgramClauseData, ProgramClauses, QuantifiedWhereClauses, QuantifierKind, Scalar, StructId,
+    Substitution, SuperVisit, TraitId, UintTy, UniverseIndex, Visit, VisitResult, Visitor,
 };
 use chalk_engine::{context::Context, ExClause, FlounderedSubgoal, Literal};
 use std::{marker::PhantomData, sync::Arc};

chalk-parse/src/ast.rs

@@ -196,7 +196,7 @@ pub enum Ty {
     Raw {
         mutability: Mutability,
         ty: Box<Ty>,
-    }
+    },
 }
 
 #[derive(Copy, Clone, PartialEq, Eq, Debug)]

chalk-solve/src/clauses.rs

@@ -410,9 +410,7 @@ fn match_type_name<I: Interner>(
         TypeName::Tuple(_) => {
             builder.push_fact(WellFormed::Ty(application.clone().intern(interner)))
         }
-        TypeName::Raw(_) => {
-            builder.push_fact(WellFormed::Ty(application.clone().intern(interner)))
-        }
+        TypeName::Raw(_) => builder.push_fact(WellFormed::Ty(application.clone().intern(interner))),
     }
 }
 

tests/lowering/mod.rs

@@ -498,8 +498,8 @@ fn raw_pointers() {
             "parse error: UnrecognizedToken { token: (8, Token(7, \"*\"), 9), expected: [\"r#\\\"([A-Za-z]|_)([A-Za-z0-9]|_)*\\\"#\"] }"
         }
     }
-    
-    lowering_error! { 
+
+    lowering_error! {
         program {
             trait Foo { }
             impl Foo for *i32 { }