{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"///"}]}
    /// When the previously checked expression (the scrutinee) diverges,
    /// warn the user about the match arms being unreachable.