{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"///"}]}
    /// - `diverging`: indicates if this is a "diverging" type
    ///
    ///   variable, e.g.,  one created as the type of a `return`