fix typo

Author: thanhnguyen-aws

cprover_bindings/src/irep/to_irep.rs

@@ -136,7 +136,7 @@ impl ToIrep for DatatypeComponent {
                 (IrepId::CPrettyName, Irep::just_string_id(name.to_string())),
                 (IrepId::Type, typ.to_irep(mm)),
             ]),
-            DatatypeComponent::UnionField { name, typ, padded_typ } => {
+            DatatypeComponent::UnionField { name, typ: _, padded_typ } => {
                 Irep::just_named_sub(linear_map![
                     (IrepId::Name, Irep::just_string_id(name.to_string())),
                     (IrepId::CPrettyName, Irep::just_string_id(name.to_string())),

kani-compiler/src/codegen_cprover_gotoc/codegen/typ.rs

@@ -1230,7 +1230,7 @@ impl<'tcx> GotocCtx<'tcx> {
                     } else {
                         let pad =
                             DatatypeComponent::Padding { name: pad_name.into(), bits: *padding };
-                        ctx.ensure_struct(struct_name, pretty_struct_name, |ctx, _| {
+                        ctx.ensure_struct(struct_name, pretty_struct_name, |_ctx, _| {
                             vec![DatatypeComponent::field(name, ty.clone()), pad.clone()]
                         })
                     };