{"ast_node_type":"variable","tokens":[{"end":68,"kind":"keyword","start":0,"text":"let"}]}
            let trait_def_id = match bound_predicate.skip_binder() {
            // many viable options, so pick the most restrictive.
                ty::PredicateKind::Clause(ty::ClauseKind::Projection(data)) => {