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