{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"///"}]}
    /// If one of the function arguments is a never pattern, this counts as diverging code. This
    /// affect typechecking of the function body.