o3 0.25.1

shared-nothing primitives
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

//! Compile-time representation of retained-owner evidence.

use crate::buffer::hold;

/// Selects the exact stored representation of retained-owner evidence.
pub trait Mode {
    type Projection: Copy + Default;
}

/// Erases retained-owner evidence and its storage from a monomorphization.
#[derive(Clone, Copy, Default)]
pub struct Off;

impl Mode for Off {
    type Projection = Self;
}

/// Preserves the exact physical-owner charge for evidence delivery.
pub enum On {}

impl Mode for On {
    type Projection = hold::Charge;
}

const _: () = {
    assert!(core::mem::size_of::<<Off as Mode>::Projection>() == 0);
    assert!(
        core::mem::size_of::<<On as Mode>::Projection>() == core::mem::size_of::<hold::Charge>()
    );
};