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
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
|
#![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(?Send)]
trait NotSendTrait {
async fn declare_async_not_send(&self);
async fn async_fn_not_send(&self) {
self.declare_async_not_send().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(AFIT)]
trait AfitTrait {
fn sync_fn_afit() {}
async fn declare_async_afit(&self);
async fn async_fn_afit(&self) {
self.declare_async_afit().await
}
}
#[cfg(not(feature = "is_sync"))]
#[maybe_async::must_be_async]
async fn async_fn() {}
#[cfg(not(feature = "is_sync"))]
#[maybe_async::must_be_async]
pub async fn pub_async_fn() {}
#[cfg(not(feature = "is_sync"))]
#[maybe_async::maybe_async]
pub(crate) async fn pub_crate_async_fn() {}
#[cfg(not(feature = "is_sync"))]
#[maybe_async::maybe_async]
unsafe fn unsafe_fn() {}
struct Struct;
#[cfg(not(feature = "is_sync"))]
#[maybe_async::must_be_async]
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(not(feature = "is_sync"))]
#[maybe_async::must_be_async]
impl Trait for Struct {
fn sync_fn() {}
async fn declare_async(&self) {}
async fn async_fn(&self) {
async { self.declare_async().await }.await
}
}
#[cfg(not(feature = "is_sync"))]
#[maybe_async::must_be_async(?Send)]
impl NotSendTrait for Struct {
async fn declare_async_not_send(&self) {}
async fn async_fn_not_send(&self) {
async { self.declare_async_not_send().await }.await
}
}
#[cfg(not(feature = "is_sync"))]
#[maybe_async::must_be_async(AFIT)]
impl AfitTrait for Struct {
fn sync_fn_afit() {}
async fn declare_async_afit(&self) {}
async fn async_fn_afit(&self) {
async { self.declare_async_afit().await }.await
}
}
#[cfg(feature = "is_sync")]
fn main() {}
#[cfg(not(feature = "is_sync"))]
#[async_std::main]
async fn main() {
let s = Struct;
s.declare_async_inherent().await;
s.async_fn_inherent().await;
s.declare_async().await;
s.async_fn().await;
s.declare_async_afit().await;
s.async_fn_afit().await;
async_fn().await;
pub_async_fn().await;
}
|
