bug: invalid identifier in consistency check (no crash)
Database:
prusti-20260417-100008-5cd3f71f8.db
5 file(s) affected
File
core_error_doctest_384.rs
core_error_doctest_407.rs
core_option_doctest_636.rs
core_option_doctest_685.rs
core_primitive_docs_doctest_232.rs