pinned-init 0.0.10

Library to facilitate safe pinned initialization
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

use pinned_init::*;
struct Foo {
    a: usize,
    pub(crate) b: usize,
}
#[automatically_derived]
unsafe impl ::pinned_init::Zeroable for Foo {}
const _: () = {
    fn assert_zeroable<T: ?::core::marker::Sized + ::pinned_init::Zeroable>() {}
    fn ensure_zeroable() {
        assert_zeroable::<usize>();
        assert_zeroable::<usize>();
    }
};
struct Bar {
    a: usize,
    b: &'static usize,
}
#[automatically_derived]
unsafe impl ::pinned_init::Zeroable for Bar
where
    usize: for<'__dummy> ::pinned_init::Zeroable,
    &'static usize: for<'__dummy> ::pinned_init::Zeroable,
{}
trait Trait {}
struct WithGenerics<'a, T, U: Trait> {
    a: T,
    u: &'a U,
}
#[automatically_derived]
unsafe impl<
    'a,
    T: ::pinned_init::Zeroable,
    U: ::pinned_init::Zeroable + Trait,
> ::pinned_init::Zeroable for WithGenerics<'a, T, U> {}
const _: () = {
    fn assert_zeroable<T: ?::core::marker::Sized + ::pinned_init::Zeroable>() {}
    fn ensure_zeroable<
        'a,
        T: ::pinned_init::Zeroable,
        U: ::pinned_init::Zeroable + Trait,
    >() {
        assert_zeroable::<T>();
        assert_zeroable::<&'a U>();
    }
};