Skip to main content

Module layout

Module layout 

Source
Expand description

Representation stability and trap/robustness classification.

Stability describes whether Rust guarantees a type’s layout whereas robustness describes whether the represented value space has invalid bit patterns (i.e. trap values).

This module provides the marker types used by crate::RustSpec::Layout and crate::RustSpec::Trap.

Enums§

NonRobust
Marker for a non-robust type that has a trap value.
Robust
Marker for a type whose bit patterns require no representation-validity conversion.

Traits§

LayoutKind
Closed family of representation-stability classifications.