dope 0.11.0

The manifold runtime
Documentation 
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

trait AmbiguousIfSend<A> {}

impl<T: ?Sized> AmbiguousIfSend<()> for T {}

impl<T: ?Sized + Send> AmbiguousIfSend<u8> for T {}

trait AmbiguousIfSync<A> {}

impl<T: ?Sized> AmbiguousIfSync<()> for T {}

impl<T: ?Sized + Sync> AmbiguousIfSync<u8> for T {}

const _: fn() = || {
    fn not_send<T: ?Sized + AmbiguousIfSend<A>, A>() {}
    fn not_sync<T: ?Sized + AmbiguousIfSync<A>, A>() {}
    fn require_send<T: Send>() {}

    not_send::<dope::driver::Driver, _>();
    not_sync::<dope::driver::Driver, _>();
    not_send::<dope::runtime::Executor, _>();
    not_sync::<dope::runtime::Executor, _>();
    not_send::<dope::runtime::Session<'static, 'static>, _>();
    not_sync::<dope::runtime::Session<'static, 'static>, _>();
    not_send::<dope::runtime::WorkerContext, _>();
    not_sync::<dope::runtime::WorkerContext, _>();
    not_send::<dope::hash::State, _>();
    not_sync::<dope::hash::State, _>();
    not_sync::<dope::runtime::Launcher, _>();
    require_send::<dope::runtime::Launcher>();
    not_sync::<dope::runtime::ShutdownTrigger, _>();
    require_send::<dope::runtime::ShutdownTrigger>();
    not_send::<dope::runtime::SignalShutdown, _>();
    not_sync::<dope::runtime::SignalShutdown, _>();
    not_send::<dope::driver::OutboundReservation, _>();
    not_sync::<dope::driver::OutboundReservation, _>();
    not_send::<dope::io::file::OsFile, _>();
    not_sync::<dope::io::file::OsFile, _>();
    not_send::<dope::manifold::timer::Ticket, _>();
    not_sync::<dope::manifold::timer::Ticket, _>();
    not_send::<dope::manifold::timer::Timer<'static>, _>();
    not_sync::<dope::manifold::timer::Timer<'static>, _>();
    not_send::<dope::manifold::connector::source::DialKey, _>();
    not_sync::<dope::manifold::connector::source::DialKey, _>();
};

#[test]
fn local_capabilities_keep_their_layout() {
    assert_eq!(
        size_of::<dope::manifold::timer::Ticket>(),
        2 * size_of::<u32>()
    );
    assert_eq!(
        size_of::<dope::manifold::connector::source::DialKey>(),
        2 * size_of::<u32>()
    );
    assert_eq!(
        size_of::<dope::driver::OutboundReservation>(),
        2 * size_of::<u32>()
    );
}