Cool idea. I was expecting more than just turn_off_the_borrow_checker in you_can though. Maybe with time, as more counterexamples are needed for things "you ca

Cool idea. I was expecting more than just turn_off_the_borrow_checker in you_can though. Maybe with time, as more counterexamples are needed for things "you can't just..." in rust.