{"ast_node_type":"variable","tokens":[{"end":66,"kind":"keyword","start":0,"text":"let"}]}
    let pred = clause.kind().skip_binder().fold_with(&mut folder);
        MapAndCompressBoundVars { tcx, binder: ty::INNERMOST, still_bound_vars: vec![], mapping };