Module raw 

This module encapsulates the fields of the RawAttachment and RawAttachmentRef. Since this is the only place they are visible, this means that the ptr field of both types is always guaranteed to come from Box<AttachmentData<A>>. This follows from the fact that there are no places where the ptr field is altered after creation (besides invalidating it after it should no longer be used).

Structs

RawAttachment

A pointer to an AttachmentData that is guaranteed to point to an initialized instance of an AttachmentData<A> for some specific A, though we do not know which actual A it is.

RawAttachmentRef

A lifetime-bound pointer to an AttachmentData that is guaranteed to point to an initialized instance of an AttachmentData<A> for some specific A, though we do not know which actual A it is.