bug: invalid identifier in consistency check (no crash)

Database: prusti-fix-revar-from-outer-inferctxt-in-try-normalize-20260514-092649-0ca6d84a4.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