{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"///"}]}
    /// Writing to read-only memory.
    AlignmentCheckFailed(Misalignment, CheckAlignMsg),
    WriteToReadOnly(AllocId),