bug: invalid arguments to domain function in consistency check (no crash)

Database: prusti-20260227-115713-f74843625.db

9 file(s) affected

File
core_net_ip_addr_doctest_1347.rs
core_net_ip_addr_doctest_528.rs
core_num_saturating_doctest_618.rs
core_num_uint_macros_doctest_2313.rs
core_num_wrapping_doctest_646.rs
core_ops_bit_doctest_726.rs
core_ops_bit_doctest_802.rs
core_ops_bit_doctest_878.rs
core_sync_atomic_doctest_2458.rs