unsupported: bitwise operations

Database: prusti-20260323-125921-08b08c532.db

7 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_1039.rs
core_ops_bit_doctest_952.rs