Module place

Computations on places – field projections, going from mir::Place, and writing into a place. All high-level functions to write to memory work on places as destinations.

Modules

• size_asserts 🔒

Structs

• MPlaceTy
  A MemPlace with its layout. Constructing it is only possible in this module.
• MemPlace 🔒
• PlaceTy
  An evaluated place, together with its type.

Enums

• MemPlaceMeta
  Information required for the sound usage of a MemPlace.
• Place 🔒

Traits

• Writeable
  The Weiteable trait describes interpreter values that can be written to.