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>>, {