http://aardappel.github.io/lobster/memory_management.html

Reading this blog has been mind-blowing to me, as there would be an algorithm that would:

1. Be as safe as an automatic GC.
2. Remove most of rust memory management expressiveness limitations (e.g can't have two mutable pointers aliasing), interior mutability, etc
3. can optionally enforce some constraints if wanted by the developper (e.g no aliasing)
4. the biggest point here: Remove 95% of the needed boilerplate and bookkeeping tax that every rust developper currently has (lifetimes annotations, etc)

Rust has an issue about implementing automatic garbage collection:
rust-lang/rfcs#415
The reason would be to massively help the language to become more mainstream by reducing the learning curve, and the cognitive overhead of day to day programming thus increasing developper productivity on their problem domain.

Experimenting with Lobster-like memory management, if a success, would bring us closer to that goal, without any tax on runtime performance.
This seems to me like the future: almost automatic, compile time garbage collection.

Rust would really gain momentum with such a killer feature.