unsupported: indirect constant values

Database: prusti-20260309-175527-9eba9fcdc.db

16 file(s) affected

File
core_array_ascii_doctest_9.rs
core_mem_maybe_uninit_doctest_1096.rs
core_mem_maybe_uninit_doctest_116.rs
core_mem_maybe_uninit_doctest_1174.rs
core_mem_maybe_uninit_doctest_1208.rs
core_mem_maybe_uninit_doctest_1251.rs
core_mem_maybe_uninit_doctest_1266.rs
core_mem_maybe_uninit_doctest_1280.rs
core_mem_maybe_uninit_doctest_140.rs
core_mem_transmutability_doctest_386.rs
core_net_ip_addr_doctest_1403.rs
core_net_ip_addr_doctest_1420.rs
core_net_ip_addr_doctest_568.rs
core_net_ip_addr_doctest_583.rs
core_net_ip_addr_doctest_597.rs
core_time_doctest_143.rs