Update ptr
docs with regards to ptr::addr_of!
#83553
+44
−39
Merged