diff --git a/chalk-engine/src/logic.rs b/chalk-engine/src/logic.rs index 706398e6b26..f53d827d5f9 100644 --- a/chalk-engine/src/logic.rs +++ b/chalk-engine/src/logic.rs @@ -289,7 +289,7 @@ impl> Forest { ops: PhantomData, } - impl, OP: WithInstantiatedStrand> + impl, OP: WithInstantiatedStrand> WithInstantiatedExClause for With { type Output = OP::Output; @@ -737,7 +737,7 @@ impl> Forest { this: &'a mut Forest, } - impl> WithInstantiatedUCanonicalGoal + impl> WithInstantiatedUCanonicalGoal for PushInitialStrandsInstantiated<'a, C, CO> { type Output = (); @@ -1166,7 +1166,7 @@ impl> Forest { depth: StackIndex, strand: Strand<'_, C, impl Context>, ) -> StrandResult { - ::crate::maybe_grow_stack(|| self.pursue_strand(depth, strand)) + crate::maybe_grow_stack(|| self.pursue_strand(depth, strand)) } /// Invoked when we have found a successful answer to the given diff --git a/src/solve/slg/implementation.rs b/src/solve/slg/implementation.rs index d5b5e04d0e1..959d7eafa21 100644 --- a/src/solve/slg/implementation.rs +++ b/src/solve/slg/implementation.rs @@ -267,7 +267,7 @@ impl context::UnificationOps for TruncatingInferenceTabl value: &Canonical>, ) -> ( UCanonical>, - ::crate::solve::infer::ucanonicalize::UniverseMap, + crate::solve::infer::ucanonicalize::UniverseMap, ) { let UCanonicalized { quantified,