pub trait AcquireAttribute: AcquireAttributeWithResourceAndContext<()> {
    // Provided methods
    fn prove_async<'ctx, 'async_trait, Attr, const STAG: EntityTag>(
        self
    ) -> Pin<Box<dyn Future<Output = Result<ConstraintChain<STAG, DEFAULT_ELEMENT_TAG, Attr, Self>, Attr::Error>> + Send + 'async_trait>>
       where Attr::Subject: ConstraintEntity + 'static,
             Self: HasEntityWithType<STAG, Attr::Subject> + Send + 'async_trait,
             Attr: AsyncAttribute<Resource = (), Context<'ctx> = ()> + 'async_trait,
             'ctx: 'async_trait { ... }
    fn prove<'ctx, Attr, const STAG: EntityTag>(
        self
    ) -> Result<ConstraintChain<STAG, DEFAULT_ELEMENT_TAG, Attr, Self>, Attr::Error>
       where Attr::Subject: ConstraintEntity + 'static,
             Self: HasEntityWithType<STAG, Attr::Subject>,
             Attr: SyncAttribute<Resource = (), Context<'ctx> = ()> { ... }
}

Provided Methods§

source

fn prove_async<'ctx, 'async_trait, Attr, const STAG: EntityTag>( self ) -> Pin<Box<dyn Future<Output = Result<ConstraintChain<STAG, DEFAULT_ELEMENT_TAG, Attr, Self>, Attr::Error>> + Send + 'async_trait>>where Attr::Subject: ConstraintEntity + 'static, Self: HasEntityWithType<STAG, Attr::Subject> + Send + 'async_trait, Attr: AsyncAttribute<Resource = (), Context<'ctx> = ()> + 'async_trait, 'ctx: 'async_trait,

source

fn prove<'ctx, Attr, const STAG: EntityTag>( self ) -> Result<ConstraintChain<STAG, DEFAULT_ELEMENT_TAG, Attr, Self>, Attr::Error>where Attr::Subject: ConstraintEntity + 'static, Self: HasEntityWithType<STAG, Attr::Subject>, Attr: SyncAttribute<Resource = (), Context<'ctx> = ()>,

Object Safety§

This trait is not object safe.

Implementors§