loosen AoProxy

This commit is contained in:
AF 2023-07-29 14:58:38 +00:00
parent c288b106e3
commit fd2bae70ac

View File

@ -38,7 +38,7 @@ impl<A: AtomicBase> Serializable for AtomicObject<A> {
pub trait AoProxy<'a, Ctx: Context<'a>>: AtomicProxy { pub trait AoProxy<'a, Ctx: Context<'a>>: AtomicProxy {
type Mtbl: MentionableBase<'a, Ctx, Fctr = Self::Fctr> + MentionableTop<'a, Ctx>; type Mtbl: MentionableBase<'a, Ctx, Fctr = Self::Fctr> + MentionableTop<'a, Ctx>;
type Fctr: Factory<'a, Ctx, _Mtbl = Self::Mtbl>; type Fctr: FactoryBase<'a, Ctx, Mtbl = Self::Mtbl>;
fn factory() -> Self::Fctr; fn factory() -> Self::Fctr;
fn wrap(a: Self::A) -> Self::Mtbl; fn wrap(a: Self::A) -> Self::Mtbl;