{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"{"}]}
                {
                match test_type_match::extract_verify_if_eq(self.tcx(), &verify_if_eq_b, generic_ty)
                    Some(r) => {