charon_lib::transform

Module insert_ptr_metadata

Source

Structs§

BodyVisitor 🔒
Transform

Traits§

BodyTransformCtxWithParams

Functions§

compute_place_metadata
Emit statements that compute the metadata of the given place. Returns an operand containing the metadata value.
compute_place_metadata_inner 🔒
Compute the metadata for a place. Return None if the place has no metadata.
is_sized_type_var 🔒
no_metadata 🔒
No metadata. We use the unit_metadata global to avoid having to define unit locals everywhere.