Skip to main content

Module layout_guarantees

charon_lib::ast::items

Module layout_guarantees 

Source
Expand description

Guarantees about the layout of types, as given by the Rust Reference.

Structs§

ExactSizeExpr
An expression that represents a size in bytes.

Enums§

ExactSizeExprKind
MetadataValue
Layout information given by the metadata of an unsized type.
OffsetGuarantee
Guaranteed facts about a field offset.
SizeGuarantee
Guaranteed facts about a layout size.