diff options
| author | Yuki Okushi <jtitor@2k36.org> | 2022-12-14 18:52:14 +0900 |
|---|---|---|
| committer | Yuki Okushi <jtitor@2k36.org> | 2022-12-14 19:00:08 +0900 |
| commit | 687b4d9bb2d1427d2ca9bb6225a706117e379350 (patch) | |
| tree | 183f48991dd640d8e89acce98b100b5ac02ba53d | |
| parent | 918d0ac38e8c3bcf4fb5ee2241fb14979c73c312 (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.rs | 31 |
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() {} |
