{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"///"}]}
    /// de-initialized, as in a move operation).
    /// new values or otherwise invalidated (for example, it could be
    Write(WriteKind),