bug: invalid identifier in consistency check (no crash)

Database: prusti-20260426-174735-3d9ad6e85.db

19 file(s) affected

File
alloc_boxed_convert_doctest_349.rs
alloc_boxed_convert_doctest_408.rs
alloc_boxed_convert_doctest_467.rs
core_any_doctest_177.rs
core_any_doctest_209.rs
core_any_doctest_241.rs
core_any_doctest_336.rs
core_any_doctest_360.rs
core_any_doctest_384.rs
core_any_doctest_470.rs
core_any_doctest_494.rs
core_any_doctest_518.rs
core_error_doctest_384.rs
core_error_doctest_407.rs
core_error_doctest_708.rs
core_error_doctest_796.rs
core_option_doctest_636.rs
core_option_doctest_685.rs
core_primitive_docs_doctest_232.rs