[chubot]

It was/is used to prototype Rust’s borrow checking rules, which are part of a really complex type system

I heard rust author Niko mention it in a talk a few years ago, and it’s mentioned here too http://smallcultfollowing.com/babysteps/blog/2018/04/27/an-a...