{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"///"}]}
        /// able to provide a more informative
        /// where all arms diverge), we may be
        /// message to the user.