A playground for the proposed non-lexical-lifetime algorithm.
The test directory contains a number of scenarios. Each file includes comments explaining the scenario. They are written in a very simplified "NLL" notation, which specifies the control-flow graph, the local variables, and the relationships between the various regions involved.
To try it out for yourself:
> cd nll
> cargo run ../test/*nll
This will run the code against all the test files and verify the embedded assertions within. You should expect to see all OK results.