Format

rust-lang · Aug 4, 2020 · e8a3401 · e8a3401
1 parent 38e9e8a
commit e8a3401
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/chalk-solve/src/clauses.rs b/chalk-solve/src/clauses.rs
@@ -313,7 +313,9 @@ fn program_clauses_that_could_match<I: Interner>(
             }
 
             if let Some(well_known) = trait_datum.well_known {
-                builtin_traits::add_builtin_program_clauses(db, builder, well_known, trait_ref, binders)?;
+                builtin_traits::add_builtin_program_clauses(
+                    db, builder, well_known, trait_ref, binders,
+                )?;
             }
         }
         DomainGoal::Holds(WhereClause::AliasEq(alias_eq)) => match &alias_eq.alias {