loosen ExternalPointsProxy bounds

This commit is contained in:
AF 2023-07-29 10:46:13 +00:00
parent c2a69bd384
commit 9f1b9d6b6a

View File

@ -4,10 +4,7 @@ pub trait ExternalPoints<'a, Ctx: Context<'a>, T> {
fn ex_points_typed(mentionable: &T, points: &mut impl PointsVisitor<'a, Ctx>); fn ex_points_typed(mentionable: &T, points: &mut impl PointsVisitor<'a, Ctx>);
} }
pub trait ExternalPointsProxy<'a, Ctx: Context<'a>, T>: FactoryProxy<'a, Ctx> pub trait ExternalPointsProxy<'a, Ctx: Context<'a>, T>: FactoryProxy<'a, Ctx> {
where
Self::F: Factory<'a, Ctx>,
{
fn exp_points_typed(mentionable: &T, points: &mut impl PointsVisitor<'a, Ctx>); fn exp_points_typed(mentionable: &T, points: &mut impl PointsVisitor<'a, Ctx>);
} }