{"ast_node_type":"variable","tokens":[{"end":36,"kind":"keyword","start":0,"text":"let"}]}
                let verify_if_eq_b =
            } else {
                    binder.map_bound(|ty::OutlivesPredicate(ty, bound)| VerifyIfEq { ty, bound });