unsupported: binary operation with one operand of pointer type

Database: prusti-20260309-122840-ad11284f6.db

17 file(s) affected

File
alloc_boxed_doctest_1740.rs
alloc_rc_doctest_1470.rs
alloc_sync_doctest_1620.rs
core_mem_transmutability_doctest_225.rs
core_mem_transmutability_doctest_269.rs
core_mem_transmutability_doctest_46.rs
core_ptr_alignment_doctest_136.rs
core_ptr_const_ptr_doctest_631.rs
core_ptr_const_ptr_doctest_707.rs
core_ptr_const_ptr_doctest_735.rs
core_ptr_non_null_doctest_1483.rs
core_ptr_non_null_doctest_1617.rs
core_sync_atomic_doctest_1997.rs
core_sync_atomic_doctest_2076.rs
core_sync_atomic_doctest_2145.rs
core_sync_atomic_doctest_2359.rs
core_sync_atomic_doctest_2409.rs