Module rustc_middle::source ·
mir:: interpret:: pointer
- Represents a pointer in the Miri engine.
- This trait abstracts over the kind of provenance that is associated with a
Pointer. It is mostly opaque; the
Machinetrait extends it with some more operations that also have access to some global state. The
Debugrendering is used to display bare provenance, and for the default impl of