ptr_meta 0.3.0-alpha.2

A radioactive stabilization of the ptr_meta rfc
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

use crate::{DynMetadata, Pointee};
use core::any::Any;

// SAFETY: The metadata type of `dyn Any` is `DynMetadata<dyn Any>`.
unsafe impl Pointee for dyn Any {
    type Metadata = DynMetadata<dyn Any>;
}

// SAFETY: The metadata type of `dyn Any + Send` is
// `DynMetadata<dyn Any + Send>`.
unsafe impl Pointee for dyn Any + Send {
    type Metadata = DynMetadata<dyn Any + Send>;
}

// SAFETY: The metadata type of `dyn Any + Sync` is
// `DynMetadata<dyn Any + Sync>`.
unsafe impl Pointee for dyn Any + Sync {
    type Metadata = DynMetadata<dyn Any + Sync>;
}

// SAFETY: The metadata type of `dyn Any + Send + Sync` is
// `DynMetadata<dyn Any + Send + Sync>`.
unsafe impl Pointee for dyn Any + Send + Sync {
    type Metadata = DynMetadata<dyn Any + Send + Sync>;
}

#[cfg(feature = "std")]
// SAFETY: The metadata type of `dyn Error` is `DynMetadata<dyn Error>`.
unsafe impl Pointee for dyn std::error::Error {
    type Metadata = DynMetadata<dyn std::error::Error>;
}

#[cfg(feature = "std")]
// SAFETY: The metadata type of `dyn Error + Send` is
// `DynMetadata<dyn Error + Send>`.
unsafe impl Pointee for dyn std::error::Error + Send {
    type Metadata = DynMetadata<dyn std::error::Error + Send>;
}

#[cfg(feature = "std")]
// SAFETY: The metadata type of `dyn Error + Sync` is
// `DynMetadata<dyn Error + Sync>`.
unsafe impl Pointee for dyn std::error::Error + Sync {
    type Metadata = DynMetadata<dyn std::error::Error + Sync>;
}

#[cfg(feature = "std")]
// SAFETY: The metadata type of `dyn Error + Send + Sync` is
// `DynMetadata<dyn Error + Send + Sync>`.
unsafe impl Pointee for dyn std::error::Error + Send + Sync {
    type Metadata = DynMetadata<dyn std::error::Error + Send + Sync>;
}