Represents a pointer in the Miri engine.
Pointers are “tagged” with provenance information; typically the
AllocId they belong to.
Auto Trait Implementations§
impl<Prov> RefUnwindSafe for Pointer<Prov>where Prov: RefUnwindSafe,
impl<Prov> UnwindSafe for Pointer<Prov>where Prov: UnwindSafe,
Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.