loosen AoProxy
This commit is contained in:
parent
7fa37c28a4
commit
3ce4a3b676
@ -36,7 +36,9 @@ impl<A: AtomicBase> Serializable for AtomicObject<A> {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
pub trait AoProxy<'a, Ctx: Context<'a>>: AtomicModeProxy {
|
pub trait AoProxy<'a, Ctx: Context<'a>> {
|
||||||
|
type A;
|
||||||
|
|
||||||
type Mtbl: MentionableBase<'a, Ctx, Fctr = Self::Fctr> + MentionableTop<'a, Ctx>;
|
type Mtbl: MentionableBase<'a, Ctx, Fctr = Self::Fctr> + MentionableTop<'a, Ctx>;
|
||||||
type Fctr: FactoryBase<'a, Ctx, Mtbl = Self::Mtbl>;
|
type Fctr: FactoryBase<'a, Ctx, Mtbl = Self::Mtbl>;
|
||||||
|
|
||||||
@ -97,6 +99,8 @@ impl<A: ParseMode> ImplMode for AtomicFactory<A> {
|
|||||||
impl<'a, Ctx: Context<'a>, A: RegularAtomic + ImplMode> AoProxy<'a, Ctx>
|
impl<'a, Ctx: Context<'a>, A: RegularAtomic + ImplMode> AoProxy<'a, Ctx>
|
||||||
for WithMode<A, RegularMode>
|
for WithMode<A, RegularMode>
|
||||||
{
|
{
|
||||||
|
type A = A;
|
||||||
|
|
||||||
type Mtbl = AtomicObject<A>;
|
type Mtbl = AtomicObject<A>;
|
||||||
|
|
||||||
type Fctr = AtomicFactory<A>;
|
type Fctr = AtomicFactory<A>;
|
||||||
|
Loading…
Reference in New Issue
Block a user