loosen ParseFactory implementation

This commit is contained in:
AF 2023-07-29 14:18:01 +00:00
parent af813bf51f
commit f4da5f0d6a

View File

@ -30,7 +30,6 @@ pub trait FactoryProxy<'a, Ctx: Context<'a>> {
impl<'a, Ctx: Context<'a>, F: FactoryBase<'a, Ctx> + WithParseMode> ParseFactory<'a, Ctx> for F impl<'a, Ctx: Context<'a>, F: FactoryBase<'a, Ctx> + WithParseMode> ParseFactory<'a, Ctx> for F
where where
F::WithMode: FactoryProxy<'a, Ctx, F = Self>, F::WithMode: FactoryProxy<'a, Ctx, F = Self>,
F::Mtbl: MentionableTop<'a, Ctx>,
{ {
fn deserialize(&self, inctx: impl InCtx<'a, Ctx>) -> ParseResult<'a, Ctx, Self> { fn deserialize(&self, inctx: impl InCtx<'a, Ctx>) -> ParseResult<'a, Ctx, Self> {
<F::WithMode as FactoryProxy<'a, Ctx>>::pdeserialize(self, inctx) <F::WithMode as FactoryProxy<'a, Ctx>>::pdeserialize(self, inctx)