unsupported (pcg): call with unsafe ptr with nested lifetime

Database: prusti-20260427-162946-c69ced09f.db

19 file(s) affected

File
alloc_collections_linked_list_doctest_619.rs
alloc_rc_doctest_1989.rs
alloc_sync_doctest_2695.rs
core_cell_doctest_123.rs
core_hint_doctest_328.rs
core_hint_doctest_356.rs
core_iter_traits_double_ended_doctest_205.rs
core_iter_traits_double_ended_doctest_215.rs
core_iter_traits_iterator_doctest_1461.rs
core_iter_traits_iterator_doctest_1499.rs
core_iter_traits_iterator_doctest_1513.rs
core_iter_traits_iterator_doctest_2442.rs
core_iter_traits_iterator_doctest_2898.rs
core_iter_traits_iterator_doctest_4012.rs
core_iter_traits_iterator_doctest_697.rs
core_iter_traits_iterator_doctest_916.rs
core_iter_traits_iterator_doctest_928.rs
core_mem_mod_doctest_1297.rs
core_ptr_mod_doctest_2418.rs