error: internal compiler error: Kani unexpectedly panicked at panicked at cprover_bindings/src/goto_program/expr.rs:879:9:
                                Error in struct_expr; value type does not match field type.
                                    StructTag("tag-gimli::common::Encoding")
                                    [Field { name: "address_size", typ: Unsignedbv { width: 8 } }, Field { name: "format", typ: StructTag("tag-_109125825021383352072398879471058531001") }, Field { name: "version", typ: Unsignedbv { width: 16 } }]
                                    [Expr { value: Symbol { identifier: "_ZN5gimli4read7aranges30ArangeHeader$LT$R$C$Offset$GT$5parse17hde230b08470d762dE::1::var_36::val" }, typ: Unsignedbv { width: 8 }, location: None, size_of_annotation: None }, Expr { value: Symbol { identifier: "_ZN5gimli4read7aranges30ArangeHeader$LT$R$C$Offset$GT$5parse17hde230b08470d762dE::1::var_4::format" }, typ: StructTag("tag-_207664766485444868521932709622141405546"), location: None, size_of_annotation: None }, Expr { value: Symbol { identifier: "_ZN5gimli4read7aranges30ArangeHeader$LT$R$C$Offset$GT$5parse17hde230b08470d762dE::1::var_21::val" }, typ: Unsignedbv { width: 16 }, location: None, size_of_annotation: None }].


thread 'rustc' panicked at cprover_bindings/src/goto_program/expr.rs:879:9:
Error in struct_expr; value type does not match field type.
	StructTag("tag-gimli::common::Encoding")
	[Field { name: "address_size", typ: Unsignedbv { width: 8 } }, Field { name: "format", typ: StructTag("tag-_109125825021383352072398879471058531001") }, Field { name: "version", typ: Unsignedbv { width: 16 } }]
	[Expr { value: Symbol { identifier: "_ZN5gimli4read7aranges30ArangeHeader$LT$R$C$Offset$GT$5parse17hde230b08470d762dE::1::var_36::val" }, typ: Unsignedbv { width: 8 }, location: None, size_of_annotation: None }, Expr { value: Symbol { identifier: "_ZN5gimli4read7aranges30ArangeHeader$LT$R$C$Offset$GT$5parse17hde230b08470d762dE::1::var_4::format" }, typ: StructTag("tag-_207664766485444868521932709622141405546"), location: None, size_of_annotation: None }, Expr { value: Symbol { identifier: "_ZN5gimli4read7aranges30ArangeHeader$LT$R$C$Offset$GT$5parse17hde230b08470d762dE::1::var_21::val" }, typ: Unsignedbv { width: 16 }, location: None, size_of_annotation: None }]
stack backtrace:
   0: __rustc::rust_begin_unwind
   1: core::panicking::panic_fmt
   2: cprover_bindings::goto_program::expr::Expr::struct_expr_from_values
   3: kani_compiler::codegen_cprover_gotoc::codegen::rvalue::<impl kani_compiler::codegen_cprover_gotoc::context::goto_ctx::GotocCtx>::codegen_rvalue_stable
   4: kani_compiler::codegen_cprover_gotoc::codegen::statement::<impl kani_compiler::codegen_cprover_gotoc::context::goto_ctx::GotocCtx>::codegen_statement
   5: kani_compiler::codegen_cprover_gotoc::codegen::function::<impl kani_compiler::codegen_cprover_gotoc::context::goto_ctx::GotocCtx>::codegen_function
   6: std::thread::local::LocalKey<T>::with
   7: kani_compiler::codegen_cprover_gotoc::compiler_interface::GotocCodegenBackend::codegen_items
   8: <kani_compiler::codegen_cprover_gotoc::compiler_interface::GotocCodegenBackend as rustc_codegen_ssa::traits::backend::CodegenBackend>::codegen_crate::{{closure}}
   9: rustc_smir::rustc_internal::init
  10: scoped_tls::ScopedKey<T>::set
  11: rustc_smir::rustc_internal::run
  12: <kani_compiler::codegen_cprover_gotoc::compiler_interface::GotocCodegenBackend as rustc_codegen_ssa::traits::backend::CodegenBackend>::codegen_crate
  13: <rustc_interface::queries::Linker>::codegen_and_build_linker
  14: rustc_interface::passes::create_and_enter_global_ctxt::<core::option::Option<rustc_interface::queries::Linker>, rustc_driver_impl::run_compiler::{closure#0}::{closure#2}>
  15: rustc_interface::interface::run_compiler::<(), rustc_driver_impl::run_compiler::{closure#0}>::{closure#1}
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.

Kani unexpectedly panicked during compilation.
Please file an issue here: https://github.com/model-checking/kani/issues/new?labels=bug&template=bug_report.md

[Kani] current codegen item: codegen_function: gimli::read::aranges::ArangeHeader::<gimli::read::endian_slice::EndianSlice<'_, gimli::endianity::LittleEndian>, usize>::parse
_ZN5gimli4read7aranges30ArangeHeader$LT$R$C$Offset$GT$5parse17hde230b08470d762dE
[Kani] current codegen location: Loc { file: "/Users/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/gimli-0.31.1/src/read/aranges.rs", function: None, start_line: 148, start_col: Some(5), end_line: 148, end_col: Some(80), pragmas: [] }
error: could not compile `datadog-crashtracker` (lib); 1 warning emitted