Add safety comments in private core::slice::rotate::ptr_rotate function#87127

Merged

bors merged 1 commit intorust-lang:masterfrom poliorcetics:ptr-rotate-safety

Jul 15, 2021

+54-2

Commits on Jul 14, 2021

Add safety comments in private core::slice::rotate::ptr_rotate function
poliorcetics
committed