Wow. Your description of Time Travel Debugging plus Edit and Continue working together sounds amazing. Definitely want to try that some day. I suspect the side-effect/impure-function-call detection JetBrains has built here will be key to understanding boundaries of where/when you can roll back, edit, and continue, and where/when you can't.