{"ast_node_type":"variable","tokens":[{"end":80,"kind":"keyword","start":0,"text":"&&"}]}
                        && let TyKind::Path(Resolved(_, path)) = bounded_ty.kind
                        && res_defid == trait_res_defid // trait id matches
                        && let Def(_, defid) = path.res