unsupported: bitwise operations

Database: prusti-20260427-162946-c69ced09f.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