Welcome! RustViz is a tool to visualize an approximation of the compile-time reasoning of Rust's Borrow Checker.
You can try out RustViz by writing a Rust program in the editor below, then clicking the "Generate Visualization" button to convert your example code into an SVG diagram.
Please note: RustViz is a research tool, so it doesn't work for some Rust programs. These are a few common Rust features that remain unimplemented by our plugin and as a result may result in undefined behavior when visualized:
If you come across an example that exposes some bug in our visualization please submit an issue on the repo with the example code and error message (if applicable).