unsupported: binary operation with one operand of pointer type

Database: prusti-20260320-162729-4ee0f8d94.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_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_707.rs
core_ptr_non_null_doctest_1483.rs
core_ptr_non_null_doctest_1617.rs
core_sync_atomic_doctest_2145.rs