{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"///"}]}
    /// Using a pointer after it got freed.
    UnterminatedCString(Pointer<AllocId>),
    PointerUseAfterFree(AllocId, CheckInAllocMsg),