From 8ccbf41e8488ab666f28e069b4f57dd9fc54136f Mon Sep 17 00:00:00 2001 From: timofey Date: Sat, 29 Jul 2023 10:49:29 +0000 Subject: [PATCH] loosen `ExternalPoints` `impl` bounds --- src/rstd/external_points.rs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/rstd/external_points.rs b/src/rstd/external_points.rs index ee07189..db63a8e 100644 --- a/src/rstd/external_points.rs +++ b/src/rstd/external_points.rs @@ -8,8 +8,9 @@ pub trait ExternalPointsProxy<'a, Ctx: Context<'a>, T>: FactoryProxy<'a, Ctx> { fn exp_points_typed(mentionable: &T, points: &mut impl PointsVisitor<'a, Ctx>); } -impl<'a, Ctx: Context<'a>, A: Mentionable<'a, Ctx>, T> ExternalPoints<'a, Ctx, T> for A +impl<'a, Ctx: Context<'a>, A: MentionableBase<'a, Ctx>, T> ExternalPoints<'a, Ctx, T> for A where + Fctr<'a, Ctx, A>: WithParseMode, as WithParseMode>::WithMode: ExternalPointsProxy<'a, Ctx, T, F = Fctr<'a, Ctx, A>>, {