{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":".cover_offset(pat.syntax().text_range().start()),"}]}
                                    .cover_offset(pat.syntax().text_range().start()),
                                    .text_range()
                            );