make ptr::rotate smaller when using optimize_for_size#125720
Merged
bors merged 1 commit intorust-lang:masterfrom folkertdev:optimize_for_size-ptr-rotateJun 17, 2024
+6-2
ptr::rotate smaller when using optimize_for_size#125720