{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// The behavior of this statement differs significantly before and after drop elaboration.
    /// After drop elaboration: `Drop` terminators are a complete nop for types that have no drop