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