3 ms·Tail recursion assumed to terminate? Rustc 'solves' the Collatz conjecture3 points by ColinWright 6y ago