Closed eduardosm closed 4 months ago
Removes the need to use raw pointers and fixes undefined behavior detected by miri.
Thanks for the fix! When I wrote the gcd code, I spent a lot of time trying to satisfy the borrow checker but failed...
Removes the need to use raw pointers and fixes undefined behavior detected by miri.