{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"///"}]}
    ///   speaking, if dataflow analysis determines that the place being dropped is uninitialized,
    /// - Drops: In analysis MIR, `Drop` terminators represent *conditional* drops; roughly
    ///   the drop will not be executed. The exact semantics of this aren't written down anywhere,