Skip to content

Commit ee13458

Browse files
committed
apply cargo fmt --all
1 parent 292ff4b commit ee13458

File tree

2 files changed

+4
-5
lines changed

2 files changed

+4
-5
lines changed

chalk-solve/src/solve/slg/aggregate.rs

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -183,9 +183,7 @@ impl<'infer> AntiUnifier<'infer> {
183183
(Ty::BoundVar(_), Ty::BoundVar(_))
184184
| (Ty::ForAll(_), Ty::ForAll(_))
185185
| (Ty::Dyn(_), Ty::Dyn(_))
186-
| (Ty::Opaque(_), Ty::Opaque(_)) => {
187-
self.new_variable()
188-
}
186+
| (Ty::Opaque(_), Ty::Opaque(_)) => self.new_variable(),
189187

190188
(Ty::Apply(apply1), Ty::Apply(apply2)) => {
191189
self.aggregate_application_tys(apply1, apply2)

chalk-solve/src/solve/slg/resolvent.rs

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -346,8 +346,9 @@ impl<'t> Zipper for AnswerSubstitutor<'t> {
346346

347347
(Ty::Apply(answer), Ty::Apply(pending)) => Zip::zip_with(self, answer, pending),
348348

349-
(Ty::Dyn(answer), Ty::Dyn(pending))
350-
| (Ty::Opaque(answer), Ty::Opaque(pending)) => Zip::zip_with(self, answer, pending),
349+
(Ty::Dyn(answer), Ty::Dyn(pending)) | (Ty::Opaque(answer), Ty::Opaque(pending)) => {
350+
Zip::zip_with(self, answer, pending)
351+
}
351352

352353
(Ty::Projection(answer), Ty::Projection(pending)) => {
353354
Zip::zip_with(self, answer, pending)

0 commit comments

Comments
 (0)