{"ast_node_type":"variable","tokens":[{"end":93,"kind":"keyword","start":0,"text":"let"}]}
                            let hir::TyKind::Path(hir::QPath::Resolved(None, bounded_path)) =
                            };
                                pred.bounded_ty.kind