Skip to content

Commit

Permalink
Add a test case for async dyn* traits
Browse files Browse the repository at this point in the history
  • Loading branch information
eholk committed Nov 21, 2022
1 parent 7fe6f36 commit 1a913a6
Showing 1 changed file with 36 additions and 0 deletions.
36 changes: 36 additions & 0 deletions src/test/ui/dyn-star/dyn-async-trait.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,36 @@
// check-pass
// edition: 2021

// This test case is meant to demonstrate how close we can get to async
// functions in dyn traits with the current level of dyn* support.

#![feature(dyn_star)]
#![allow(incomplete_features)]

use std::future::Future;

trait DynAsyncCounter {
fn increment<'a>(&'a mut self) -> dyn* Future<Output = usize> + 'a;
}

struct MyCounter {
count: usize,
}

impl DynAsyncCounter for MyCounter {
fn increment<'a>(&'a mut self) -> dyn* Future<Output = usize> + 'a {
Box::pin(async {
self.count += 1;
self.count
}) as dyn* Future<Output = _> // FIXME(dyn-star): coercion doesn't work here yet
}
}

async fn do_counter(counter: &mut dyn DynAsyncCounter) -> usize {
counter.increment().await
}

fn main() {
let mut counter = MyCounter { count: 0 };
let _ = do_counter(&mut counter);
}

0 comments on commit 1a913a6

Please sign in to comment.