bug: verification error could not be backtranslated (no crash)

Database: prusti-20260227-115713-f74843625.db

8 file(s) affected

File
core_char_methods_doctest_731.rs
core_macros_mod_doctest_423.rs
core_ops_arith_doctest_1045.rs
core_ops_arith_doctest_979.rs
core_ptr_mut_ptr_doctest_38.rs
core_ptr_non_null_doctest_1399.rs
core_slice_raw_doctest_331.rs
core_sync_atomic_doctest_4320.rs