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