{"ast_node_type":"variable","tokens":[{"end":56,"kind":"keyword","start":0,"text":"let"}]}
            let args = args.iter().map(|(a, b)| (a, b));
            ];
            let message = err.dcx.eagerly_translate_to_string(msg, args);