{"ast_node_type":"variable","tokens":[{"end":47,"kind":"keyword","start":0,"text":"let"}]}
            let proj = proj.map_bound(|mut b| {
        for (proj, proj_span) in elaborated_projection_bounds {
                if let Some(term_ty) = &b.term.as_type() {