{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"///"}]}
    /// new values or otherwise invalidated (for example, it could be
    /// From the RFC: "A *write* means that the data may be mutated to
    /// de-initialized, as in a move operation).