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.
Please file a bug report including:
One or more functions could not be analyzed. This is typically caused by a type error.