Revisiting Loop Recognition in C++... in Rust

Mysterious Moving Pointers