{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"category.description(),"}]}
                            category.description(),
                            "{}requires that {borrow_desc}borrow lasts for `{region_name}`",
                        ),