Skip to content

Commit

Permalink
Merge pull request #170 from varkor/anti-colon-movement
Browse files Browse the repository at this point in the history
Replace `::crate` with `crate`
  • Loading branch information
eddyb authored Aug 16, 2018
2 parents 2f7dc1b + eeb705b commit 9fc54fa
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
6 changes: 3 additions & 3 deletions chalk-engine/src/logic.rs
Original file line number Diff line number Diff line change
Expand Up @@ -289,7 +289,7 @@ impl<C: Context, CO: ContextOps<C>> Forest<C, CO> {
ops: PhantomData<CO>,
}

impl<C: Context, CO: ContextOps<C>, OP: WithInstantiatedStrand<C, CO>>
impl<C: Context, CO: ContextOps<C>, OP: WithInstantiatedStrand<C, CO>>
WithInstantiatedExClause<C> for With<C, CO, OP> {
type Output = OP::Output;

Expand Down Expand Up @@ -737,7 +737,7 @@ impl<C: Context, CO: ContextOps<C>> Forest<C, CO> {
this: &'a mut Forest<C, CO>,
}

impl<C: Context, CO: ContextOps<C>> WithInstantiatedUCanonicalGoal<C>
impl<C: Context, CO: ContextOps<C>> WithInstantiatedUCanonicalGoal<C>
for PushInitialStrandsInstantiated<'a, C, CO> {
type Output = ();

Expand Down Expand Up @@ -1166,7 +1166,7 @@ impl<C: Context, CO: ContextOps<C>> Forest<C, CO> {
depth: StackIndex,
strand: Strand<'_, C, impl Context>,
) -> StrandResult<C, ()> {
::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
Expand Down
2 changes: 1 addition & 1 deletion src/solve/slg/implementation.rs
Original file line number Diff line number Diff line change
Expand Up @@ -267,7 +267,7 @@ impl context::UnificationOps<SlgContext, SlgContext> for TruncatingInferenceTabl
value: &Canonical<InEnvironment<Goal>>,
) -> (
UCanonical<InEnvironment<Goal>>,
::crate::solve::infer::ucanonicalize::UniverseMap,
crate::solve::infer::ucanonicalize::UniverseMap,
) {
let UCanonicalized {
quantified,
Expand Down

0 comments on commit 9fc54fa

Please sign in to comment.