summaryrefslogtreecommitdiff
path: root/tests/ui/03-must-be-sync.rs
blob: da1cfa88155c8645bdd03faf886e92e6c5d3fc05 (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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
#![allow(dead_code)]

#[maybe_async::maybe_async]
trait Trait {
    fn sync_fn() {}

    async fn declare_async(&self);

    async fn async_fn(&self) {
        self.declare_async().await
    }
}

#[maybe_async::maybe_async]
pub trait PubTrait {
    fn sync_fn() {}

    async fn declare_async(&self);

    async fn async_fn(&self) {
        self.declare_async().await
    }
}

#[maybe_async::maybe_async]
pub(crate) trait PubCrateTrait {
    fn sync_fn() {}

    async fn declare_async(&self);

    async fn async_fn(&self) {
        self.declare_async().await
    }
}

#[maybe_async::maybe_async]
async fn async_fn() {}

#[maybe_async::maybe_async]
pub async fn pub_async_fn() {}

#[maybe_async::maybe_async]
pub(crate) async fn pub_crate_async_fn() {}

#[maybe_async::maybe_async]
unsafe fn unsafe_fn() {}

struct Struct;

#[cfg(feature = "is_sync")]
#[maybe_async::must_be_sync]
impl Struct {
    fn sync_fn_inherent() {}

    async fn declare_async_inherent(&self) {}

    async fn async_fn_inherent(&self) {
        async { self.declare_async_inherent().await }.await
    }
}

#[cfg(feature = "is_sync")]
#[maybe_async::must_be_sync]
impl Trait for Struct {
    fn sync_fn() {}

    async fn declare_async(&self) {}

    async fn async_fn(&self) {
        async { self.declare_async().await }.await
    }
}

#[cfg(feature = "is_sync")]
fn main() -> std::result::Result<(), ()> {
    let s = Struct;
    s.declare_async_inherent();
    s.async_fn_inherent();
    s.declare_async();
    s.async_fn();
    async_fn();
    pub_async_fn();
    Ok(())
}

#[cfg(not(feature = "is_sync"))]
#[async_std::main]
async fn main() {}