{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
    /// ADT's remain fully-initialized so that user-defined destructor
    /// implements `Drop`. Rust maintains invariant that all `Drop`
    /// can safely read from all of the ADT's fields.