Skip to content

Commit 59eab1a

Browse files
adamrkjackh726
authored andcommitted
remove duplicate canonicalization
1 parent 93497fa commit 59eab1a

File tree

1 file changed

+3
-4
lines changed

1 file changed

+3
-4
lines changed

chalk-solve/src/recursive/fulfill.rs

Lines changed: 3 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -471,10 +471,9 @@ impl<'s, 'db, I: Interner> Fulfill<'s, 'db, I> {
471471
// for sure what `T` must be (it could be either `Foo<Bar>` or
472472
// `Foo<Baz>`, but we *can* say for sure that it must be of the
473473
// form `Foo<?0>`.
474-
let subst = self
475-
.infer
476-
.canonicalize(self.solver.program.interner(), &subst);
477-
Ok(Solution::Ambig(Guidance::Definite(subst.quantified)))
474+
Ok(Solution::Ambig(Guidance::Definite(
475+
canonical_subst.quantified,
476+
)))
478477
}
479478
}
480479

0 commit comments

Comments
 (0)