pub trait AcquireAttributeWithResourceAndContext<C: Send>: Sized + ConstraintT {
// Provided methods
fn prove_with_resource_and_context_async<'ctx, 'async_trait, Attr, const STAG: EntityTag, const RTAG: EntityTag>(
self,
context: C
) -> Pin<Box<dyn Future<Output = Result<ConstraintChain<STAG, RTAG, Attr, Self>, Attr::Error>> + Send + 'async_trait>>
where Attr::Subject: ConstraintEntity + 'static,
Attr::Resource: ConstraintEntity + 'static,
C: 'async_trait,
Self: HasEntityWithType<STAG, Attr::Subject> + HasEntityWithType<RTAG, Attr::Resource> + Send + 'async_trait,
Attr: AsyncAttribute<Context<'ctx> = C> + 'async_trait,
'ctx: 'async_trait { ... }
fn prove_with_resource_and_context<'ctx, Attr, const STAG: EntityTag, const RTAG: EntityTag>(
self,
context: C
) -> Result<ConstraintChain<STAG, RTAG, Attr, Self>, Attr::Error>
where Attr::Subject: ConstraintEntity + 'static,
Attr::Resource: ConstraintEntity + 'static,
Self: HasEntityWithType<STAG, Attr::Subject> + HasEntityWithType<RTAG, Attr::Resource>,
Attr: SyncAttribute<Context<'ctx> = C> { ... }
}Provided Methods§
fn prove_with_resource_and_context_async<'ctx, 'async_trait, Attr, const STAG: EntityTag, const RTAG: EntityTag>( self, context: C ) -> Pin<Box<dyn Future<Output = Result<ConstraintChain<STAG, RTAG, Attr, Self>, Attr::Error>> + Send + 'async_trait>>where Attr::Subject: ConstraintEntity + 'static, Attr::Resource: ConstraintEntity + 'static, C: 'async_trait, Self: HasEntityWithType<STAG, Attr::Subject> + HasEntityWithType<RTAG, Attr::Resource> + Send + 'async_trait, Attr: AsyncAttribute<Context<'ctx> = C> + 'async_trait, 'ctx: 'async_trait,
fn prove_with_resource_and_context<'ctx, Attr, const STAG: EntityTag, const RTAG: EntityTag>( self, context: C ) -> Result<ConstraintChain<STAG, RTAG, Attr, Self>, Attr::Error>where Attr::Subject: ConstraintEntity + 'static, Attr::Resource: ConstraintEntity + 'static, Self: HasEntityWithType<STAG, Attr::Subject> + HasEntityWithType<RTAG, Attr::Resource>, Attr: SyncAttribute<Context<'ctx> = C>,
Object Safety§
This trait is not object safe.