PTV/radn-rs
1
1
Fork 0
Code Issues 3 Pull Requests Packages Projects Releases Wiki Activity

loosen ExternalPoints impl bounds

Browse Source
This commit is contained in:
AF 2023-07-29 10:49:29 +00:00
parent 9f1b9d6b6a
commit 8ccbf41e84
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/rstd/external_points.rs
View File

@ -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,
<Fctr<'a, Ctx, A> as WithParseMode>::WithMode:
ExternalPointsProxy<'a, Ctx, T, F = Fctr<'a, Ctx, A>>,
{