{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"for"}]}
                for (_, argument_span) in arguments {
                let region_name = cx.get_region_name_for_ty(*return_ty, 0);
                    diag.span_label(*argument_span, format!("has lifetime `{region_name}`"));