{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"\"{}requires"}]}
                            "{}requires that `{desc}` is borrowed for `{region_name}`",
                        format!(
                            category.description(),