{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// is a query that can be very helpful for users when processing DropGlue.
    /// When generating code for a Drop terminator, users can ignore an empty drop glue.