Attribute Macro Precond_Ptr2Ref

Source
#[Precond_Ptr2Ref]