Added unit type proofs for mut ptr#8

stogaru merged 1 commit intoverify/ptr_mutstogaru/verify-rust-std:verify/ptr_mutfrom

verify/ptr_mut_unit_typesstogaru/verify-rust-std:verify/ptr_mut_unit_typesCopy head branch name to clipboard