unsupported: bitwise operations

Database: prusti-20260428-154632-6e19cc770.db

11 file(s) affected

File
core_num_saturating_doctest_1026.rs
core_num_saturating_doctest_900.rs
core_num_uint_macros_doctest_109.rs
core_num_uint_macros_doctest_157.rs
core_num_uint_macros_doctest_2709.rs
core_ops_bit_doctest_1009.rs
core_ops_bit_doctest_1039.rs
core_ops_bit_doctest_413.rs
core_ops_bit_doctest_536.rs
core_ops_bit_doctest_922.rs
core_ops_bit_doctest_952.rs