unsupported: bitwise operations

Database: prusti-fix-missing-substitution-in-apply-wands-20260515-162448-aaf0046ee.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