pub trait RuleEngineDiscovery<F> {
// Required method
fn upgrade<'life0, 'async_trait>(
&'life0 self,
) -> Pin<Box<dyn Future<Output = F> + Send + 'async_trait>>
where Self: 'async_trait,
'life0: 'async_trait;
// Provided method
fn version(&self) -> i32 { ... }
}