{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"///"}]}
    /// affect typechecking of the function body.
    /// If one of the function arguments is a never pattern, this counts as diverging code. This
    pub(super) function_diverges_because_of_empty_arguments: Cell<Diverges>,