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