{"ast_node_type":"variable","tokens":[{"end":97,"kind":"keyword","start":0,"text":"let"}]}
                let verify_if_eq_b = var_values.normalize(self.region_rels.tcx, *verify_if_eq_b);
            VerifyBound::IfEq(verify_if_eq_b) => {
                match test_type_match::extract_verify_if_eq(self.tcx(), &verify_if_eq_b, generic_ty)