tests/ui/lifetimes/issue-83737-erasing-bound-vars.rs

//@ build-pass
//@ edition: 2018
//@ compile-flags: --crate-type rlib

use std::future::Future;

async fn handle<F>(slf: &F)
where
    F: Fn(&()) -> Box<dyn for<'a> Future<Output = ()> + Unpin>,
{
    (slf)(&()).await;
}

fn main() {}