pub trait AcquireAttributeWithContext: AcquireAttributeWithResourceAndContext<()> {
fn prove_with_resource_async<'ctx, 'async_trait, Attr, const STAG: &'static str, const RTAG: &'static str>(
self
) -> 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,
Self: HasEntityWithType<STAG, Attr::Subject>,
Self: HasEntityWithType<RTAG, Attr::Resource>,
Attr: AsyncAttribute<Context<'ctx> = ()>,
'ctx: 'async_trait,
Attr: 'async_trait,
Self: Send + 'async_trait,
{ ... }
fn prove_with_resource<'ctx, Attr, const STAG: &'static str, const RTAG: &'static str>(
self
) -> Result<ConstraintChain<STAG, RTAG, Attr, Self>, Attr::Error>
where
Attr::Subject: ConstraintEntity + 'static,
Attr::Resource: ConstraintEntity + 'static,
Self: HasEntityWithType<STAG, Attr::Subject>,
Self: HasEntityWithType<RTAG, Attr::Resource>,
Attr: SyncAttribute<Context<'ctx> = ()>,
{ ... }
}