about summary refs log tree commit diff
path: root/tests/ui/async-await/async-closures/sig-from-bare-fn.rs
blob: 72aac1402560a796a2e6b08ede0f59d106acc6b1 (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: 2021

// Make sure that we infer the args of an async closure even if it's passed to
// a function that requires the async closure implement `Fn*` but does *not* have
// a `Future` bound on the return type.

use std::future::Future;

trait TryStream {
    type Ok;
    type Err;
}

trait TryFuture {
    type Ok;
    type Err;
}

impl<F, T, E> TryFuture for F where F: Future<Output = Result<T, E>> {
    type Ok = T;
    type Err = E;
}

trait TryStreamExt: TryStream {
    fn try_for_each<F, Fut>(&self, f: F)
    where
        F: FnMut(Self::Ok) -> Fut,
        Fut: TryFuture<Ok = (), Err = Self::Err>;
}

impl<S> TryStreamExt for S where S: TryStream {
    fn try_for_each<F, Fut>(&self, f: F)
    where
        F: FnMut(Self::Ok) -> Fut,
        Fut: TryFuture<Ok = (), Err = Self::Err>,
    { }
}

fn test(stream: impl TryStream<Ok = &'static str, Err = ()>) {
    stream.try_for_each(async |s| {
        s.trim(); // Make sure we know the type of `s` at this point.
        Ok(())
    });
}

fn main() {}