I think the borrow checker is actually pretty mind-blowing. In general, I'd say that the combination of modern language features with a real systems target (i.e

I think the borrow checker is actually pretty mind-blowing. In general, I'd say that the combination of modern language features with a real systems target (i.e. low-level, no GC) certainly has the potential to be game changing, in the sense of making it that much less scary to write things in a systems language.