{"ast_node_type":"variable","tokens":[{"end":75,"kind":"keyword","start":0,"text":"let"}]}
                        let name = tcx.item_name(p.projection_term.def_id);
                    {
                        projections_str.push(format!("{} = {}", name, p.term));