Welcome! Aquascope is a tool to visualize the compile-time and run-time behavior of Rust programs.
You can try out Aquascope by writing a Rust program in the editor below, then clicking the "Interpret" button to see the runtime states, or clicking "Permissions" to see the borrow-checking compiler state.
Aquascope is a research tool under active development, so it doesn't work for some Rust programs. If you want to see Aquascope diagrams in action, check out the new chapter on ownership in the Rust Book Experiment.
You can easily install and run the Aquascope playground locally. Simply follow the installation instructions. Running the playground locally is faster, which can improve demos in front of a live audience. It's also an option if our server is down, and please file an issue if it is.
Please file a bug report including:
One or more functions could not be analyzed. This is typically caused by a type error.