blob: 3a33af2d2eec8d08e8fec5146861abafe75ce1a8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
// check-pass
// edition:2018
#![feature(arbitrary_self_types)]
use std::task::{self, Poll};
use std::future::Future;
use std::marker::Unpin;
use std::pin::Pin;
// This is a regression test for an ICE/unbounded recursion issue relating to async-await.
#[derive(Debug)]
#[must_use = "futures do nothing unless polled"]
pub struct Lazy<F> {
f: Option<F>
}
impl<F> Unpin for Lazy<F> {}
pub fn lazy<F, R>(f: F) -> Lazy<F>
where F: FnOnce(&mut task::Context) -> R,
{
Lazy { f: Some(f) }
}
impl<R, F> Future for Lazy<F>
where F: FnOnce(&mut task::Context) -> R,
{
type Output = R;
fn poll(mut self: Pin<&mut Self>, cx: &mut task::Context) -> Poll<R> {
Poll::Ready((self.f.take().unwrap())(cx))
}
}
async fn __receive<WantFn, Fut>(want: WantFn) -> ()
where Fut: Future<Output = ()>, WantFn: Fn(&Box<dyn Send + 'static>) -> Fut,
{
lazy(|_| ()).await;
}
pub fn basic_spawn_receive() {
async { __receive(|_| async { () }).await };
}
fn main() {}
|