unsupported: binary operation with one operand of pointer type

Database: prusti-20260402-002524-e1d5e6c24.db

11 file(s) affected

File
alloc_boxed_doctest_1740.rs
alloc_rc_doctest_1470.rs
alloc_sync_doctest_1620.rs
core_mem_transmutability_doctest_173.rs
core_mem_transmutability_doctest_225.rs
core_mem_transmutability_doctest_269.rs
core_mem_transmutability_doctest_332.rs
core_mem_transmutability_doctest_46.rs
core_ptr_const_ptr_doctest_707.rs
core_ptr_non_null_doctest_1483.rs
core_sync_atomic_doctest_2145.rs