{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"///"}]}
    /// Used a pointer outside the bounds it is valid for.
    PointerUseAfterFree(AllocId, CheckInAllocMsg),
    PointerOutOfBounds {