Minimal example of bug(?) with higher-ranked trait bounds

See:
https://github.com/gnu3ra/bobot/tree/broken_higher_ranked_trait_bounds
rust-lang/rust#70263

.gitignore

@@ -0,0 +1 @@
+/target

Cargo.toml

@@ -0,0 +1,9 @@
+[package]
+name = "hrtb_test"
+version = "0.1.0"
+edition = "2021"
+
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+
+[dependencies]
+futures = "0.3.21"

src/main.rs

@@ -0,0 +1,35 @@
+use futures::Future;
+trait TestFn<'a>: Send + Sync {
+    type Fut: Future<Output = ()>;
+    fn call(self, v: &'a i64) -> Self::Fut;
+}
+
+impl<'a, F, Fut> TestFn<'a> for F
+where
+    F: FnOnce(&'a i64) -> Fut + Send + Sync,
+    Fut: Future<Output = ()>,
+{
+    type Fut = Fut;
+
+    fn call(self, v: &'a i64) -> Self::Fut {
+        self(v)
+    }
+}
+
+async fn test<F>(func: F)
+where
+    F: for<'a> TestFn<'a>,
+{
+    func.call(&3).await
+}
+
+async fn main_async() {
+    test(|v| async move {
+        println!("works! {} ", v);
+    })
+    .await;
+}
+
+fn main() {
+    futures::executor::block_on(main_async());
+}