Borrowchecker visualizer: https://github.com/cognitive-engineering-lab/aquascope