Trait creusot_contracts::std::intrinsics::AggregateRawPtr

source · 
pub trait AggregateRawPtr<D> {
    type Metadata: Copy;
}
🔬This is a nightly-only experimental API. (core_intrinsics)

Required Associated Types§

source

type Metadata: Copy

🔬This is a nightly-only experimental API. (core_intrinsics)

Implementors§

source§

impl<P, T> AggregateRawPtr<*const T> for *const P
where T: Thin, P: ?Sized,

§

type Metadata = <P as Pointee>::Metadata

source§

impl<P, T> AggregateRawPtr<*mut T> for *mut P
where T: Thin, P: ?Sized,

§

type Metadata = <P as Pointee>::Metadata