From f29ea3dbc8d10b83a0a1536f65d4b9f16f457d46 Mon Sep 17 00:00:00 2001 From: timofey Date: Sat, 29 Jul 2023 11:19:33 +0000 Subject: [PATCH] reorder stack `impl`s --- src/rstd/collections/stack.rs | 52 +++++++++++++++++------------------ 1 file changed, 26 insertions(+), 26 deletions(-) diff --git a/src/rstd/collections/stack.rs b/src/rstd/collections/stack.rs index e009f60..2c6bb8c 100644 --- a/src/rstd/collections/stack.rs +++ b/src/rstd/collections/stack.rs @@ -49,32 +49,6 @@ impl< { } -impl<'a, Ctx: Context<'a>, F: RegularFactory<'a, Ctx>> - ExternalPointsProxy<'a, Ctx, Stack<'a, Ctx, Mtbl<'a, Ctx, F>>> for WithMode -where - F::Mtbl: MentionableTop<'a, Ctx>, -{ - fn exp_points_typed( - mentionable: &Stack<'a, Ctx, Mtbl<'a, Ctx, Self::F>>, - points: &mut impl PointsVisitor<'a, Ctx>, - ) { - mentionable.points_typed(points) - } -} - -impl<'a, Ctx: Context<'a>, F: InlineableFactory<'a, Ctx>> - ExternalPointsProxy<'a, Ctx, Stack<'a, Ctx, Mtbl<'a, Ctx, F>>> for WithMode -where - F::Mtbl: MentionableTop<'a, Ctx>, -{ - fn exp_points_typed( - mentionable: &Stack<'a, Ctx, Mtbl<'a, Ctx, Self::F>>, - points: &mut impl PointsVisitor<'a, Ctx>, - ) { - mentionable.points_typed(points) - } -} - impl<'a, Ctx: Context<'a>, A: MentionableBase<'a, Ctx>> MentionableBase<'a, Ctx> for StackNode<'a, Ctx, A> { @@ -143,6 +117,19 @@ impl ParseMode for StackNodeFactory { type Mode = F::Mode; } +impl<'a, Ctx: Context<'a>, F: RegularFactory<'a, Ctx>> + ExternalPointsProxy<'a, Ctx, Stack<'a, Ctx, Mtbl<'a, Ctx, F>>> for WithMode +where + F::Mtbl: MentionableTop<'a, Ctx>, +{ + fn exp_points_typed( + mentionable: &Stack<'a, Ctx, Mtbl<'a, Ctx, Self::F>>, + points: &mut impl PointsVisitor<'a, Ctx>, + ) { + mentionable.points_typed(points) + } +} + impl<'a, Ctx: Context<'a>, F: RegularFactory<'a, Ctx>> RegularFactory<'a, Ctx> for StackNodeFactory where @@ -241,6 +228,19 @@ where } } +impl<'a, Ctx: Context<'a>, F: InlineableFactory<'a, Ctx>> + ExternalPointsProxy<'a, Ctx, Stack<'a, Ctx, Mtbl<'a, Ctx, F>>> for WithMode +where + F::Mtbl: MentionableTop<'a, Ctx>, +{ + fn exp_points_typed( + mentionable: &Stack<'a, Ctx, Mtbl<'a, Ctx, Self::F>>, + points: &mut impl PointsVisitor<'a, Ctx>, + ) { + mentionable.points_typed(points) + } +} + impl<'a, Ctx: Context<'a>, F: InlineableFactory<'a, Ctx>> InlineableFactory<'a, Ctx> for StackNodeFactory where