diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-12-15 12:46:03 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-15 12:46:03 +0100 |
| commit | 8111cc4610b88b1ac8d591c65618e8dac9d89e61 (patch) | |
| tree | 3add6216a5aa350170cef18d39d50dff4b00cea9 | |
| parent | 6cdc83b64e660356f7171b96125304ae91e1c29b (diff) | |
| parent | 687b4d9bb2d1427d2ca9bb6225a706117e379350 (diff) | |
Rollup merge of #105692 - JohnTitor:issue-104678, r=compiler-errors
Add regression test for #104678 Closes #104678 r? `````@compiler-errors````` 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() {} |
