{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"n:"}]}
            n: args_spans.len(),
        return Some(ecx.dcx().create_err(errors::FormatRedundantArgs {
            span: MultiSpan::from(args_spans),