{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"VerifyBound::IfEq(verify_if_eq_b)"}]}
            VerifyBound::IfEq(verify_if_eq_b) => {
        match bound {
                let verify_if_eq_b = var_values.normalize(self.region_rels.tcx, *verify_if_eq_b);