{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":".upcast(tcx),"}]}
            .upcast(tcx),
        ty::Binder::bind_with_vars(pred, tcx.mk_bound_variable_kinds(&folder.still_bound_vars))
        span,