{"ast_node_type":"variable","tokens":[{"end":75,"kind":"keyword","start":0,"text":"let"}]}
                        let pred_bound_vars = bound_predicate.bound_vars();
                        // `rustc_middle::ty::predicate::Clause::instantiate_supertrait`
                        let mut all_bound_vars = bound_vars.clone();