{"ast_node_type":"variable","tokens":[{"end":67,"kind":"keyword","start":0,"text":"let"}]}
                        let quiet_projection_term = projection_term
                        let projection_term = pred.skip_binder().projection_term;
                            .with_replaced_self_ty(tcx, Ty::new_var(tcx, ty::TyVid::ZERO));