{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"tcx:"}]}
                    tcx: cx.tcx,
                let proj_replacer = &mut BottomUpFolder {
                    ty_op: |ty| if ty == proj_ty { proj_term } else { ty },