bug: invalid identifier in consistency check (no crash)
Database:
prusti-20260411-002735-8d9c868d0.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