unsupported (pcg): call with unsafe ptr with nested lifetime
Database:
prusti-20260317-151414-d20ecc48c.db
3 file(s) affected
File
alloc_collections_linked_list_doctest_619.rs
core_cell_doctest_123.rs
core_mem_mod_doctest_1297.rs