internal error: entered unreachable code: FieldsShape::offset: `Primitive`s have no fields

Database: prusti-20260505-185055-29fff11aa.db

24 file(s) affected

File
alloc_collections_binary_heap_mod_doctest_238.rs
core_ffi_c_str_doctest_336.rs
core_ffi_c_str_doctest_345.rs
core_iter_adapters_enumerate_doctest_36.rs
core_iter_traits_iterator_doctest_524.rs
core_iter_traits_iterator_doctest_541.rs
core_iter_traits_iterator_doctest_574.rs
core_iter_traits_iterator_doctest_592.rs
core_iter_traits_iterator_doctest_678.rs
core_iter_traits_iterator_doctest_971.rs
core_net_ip_addr_doctest_460.rs
core_ops_try_trait_doctest_201.rs
core_option_doctest_1904.rs
core_result_doctest_1830.rs
core_slice_index_doctest_891.rs
core_slice_mod_doctest_4861.rs
core_str_iter_doctest_250.rs
core_str_mod_doctest_1068.rs
core_str_mod_doctest_1091.rs
core_str_mod_doctest_1935.rs
core_str_mod_doctest_1954.rs
core_str_mod_doctest_3051.rs
core_task_poll_doctest_109.rs
core_task_poll_doctest_137.rs