Follow
@jhpratt @theincredibleholk
Take a look at https://faultlore.com/blah/papers/thesis.pdf if you haven't yet.
There is also https://github.com/llogiq/compact_arena which I heard uses NLL to make unique lifetimes without a scope.
