use std::{convert::Infallible, future::Future};

trait Trait {}

impl<Fut> Trait for (for<'a, 'b> fn(&'a u8, &'b u16) -> Fut)
where
    Fut: Future<Output = Result<(), Infallible>>,
{
}

async fn lol(_: &u8, _: &u16) -> Result<(), Infallible> {Ok(())}

fn check<T: Trait>(_: T) {}

pub fn check2() {
    check(lol)
}