{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"VerifyIfEq"}]}
                                    VerifyIfEq { ty, bound }
                                &outlives.map_bound(|ty::OutlivesPredicate(ty, bound)| {
                                }),