pub trait AcquireAttributeWithResource<C: Send>: AcquireAttributeWithResourceAndContext<C> {
fn prove_with_context_async<'ctx, 'async_trait, Attr, const STAG: &'static str>(
self,
context: C
) -> Pin<Box<dyn Future<Output = Result<ConstraintChain<STAG, DEFAULT_ELEMENT_TAG, Attr, Self>, Attr::Error>> + Send + 'async_trait>>
where
Attr::Subject: ConstraintEntity + 'static,
C: 'async_trait,
Self: HasEntityWithType<STAG, Attr::Subject>,
Attr: AsyncAttribute<Context<'ctx> = C, Resource = ()>,
'ctx: 'async_trait,
Attr: 'async_trait,
Self: Send + 'async_trait,
{ ... }
fn prove_with_context<'ctx, Attr, const STAG: &'static str>(
self,
context: C
) -> Result<ConstraintChain<STAG, DEFAULT_ELEMENT_TAG, Attr, Self>, Attr::Error>
where
Attr::Subject: ConstraintEntity + 'static,
Self: HasEntityWithType<STAG, Attr::Subject>,
Attr: SyncAttribute<Context<'ctx> = C, Resource = ()>,
{ ... }
}
