use std::future::Future;

trait Trait {}

impl<F, Fut> Trait for F
where
    F: Fn(&u8, &u16) -> Fut,
    Fut: Future<Output = Result<(), ()>>,
{
}