bug: invalid identifier in consistency check (no crash)
Database:
prusti-20260513-142116-0ffb80180.db
6 file(s) affected
File
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