about summary refs log tree commit diff
diff options
context:
space:
mode:
authorYuki Okushi <jtitor@2k36.org>2022-12-14 18:52:14 +0900
committerYuki Okushi <jtitor@2k36.org>2022-12-14 19:00:08 +0900
commit687b4d9bb2d1427d2ca9bb6225a706117e379350 (patch)
tree183f48991dd640d8e89acce98b100b5ac02ba53d
parent918d0ac38e8c3bcf4fb5ee2241fb14979c73c312 (diff)
Add regression test for #104678
Signed-off-by: Yuki Okushi <jtitor@2k36.org>
-rw-r--r--src/test/ui/async-await/in-trait/issue-104678.rs31
1 files changed, 31 insertions, 0 deletions
diff --git a/src/test/ui/async-await/in-trait/issue-104678.rs b/src/test/ui/async-await/in-trait/issue-104678.rs
new file mode 100644
index 00000000000..e396df4e5d1
--- /dev/null
+++ b/src/test/ui/async-await/in-trait/issue-104678.rs
@@ -0,0 +1,31 @@
+// edition:2021
+// check-pass
+
+#![feature(async_fn_in_trait)]
+#![allow(incomplete_features)]
+
+use std::future::Future;
+pub trait Pool {
+    type Conn;
+
+    async fn async_callback<'a, F: FnOnce(&'a Self::Conn) -> Fut, Fut: Future<Output = ()>>(
+        &'a self,
+        callback: F,
+    ) -> ();
+}
+
+pub struct PoolImpl;
+pub struct ConnImpl;
+
+impl Pool for PoolImpl {
+    type Conn = ConnImpl;
+
+    async fn async_callback<'a, F: FnOnce(&'a Self::Conn) -> Fut, Fut: Future<Output = ()>>(
+        &'a self,
+        _callback: F,
+    ) -> () {
+        todo!()
+    }
+}
+
+fn main() {}