Type Alias Metadata

pub type Metadata<T> = <T as Pointee>::Metadata;

Metadata

For thin pointers (i.e., when T: Sized), the metadata is (). For slices ([T]) and str, the metadata is usize. For dyn types (not supported by Verus at the time of writing), this type is also nontrivial.

See: https://doc.rust-lang.org/std/ptr/trait.Pointee.html