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

Database: prusti-20260309-120329-3db661888.db

12 file(s) affected

File
alloc_collections_linked_list_doctest_619.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_2898.rs
core_iter_traits_iterator_doctest_916.rs
core_iter_traits_iterator_doctest_928.rs