They are doing something similar to D on this:

http://smallcultfollowing.com/babysteps/blog/2012/10/12/extending-the-definition-of-purity-in-rust/

Bye,
bearophile