{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"///"}]}
    /// An expression represents dead code if, after checking it,
    ///
    /// the diverges flag is set to something other than `Maybe`.