Generics are great, but Rust's killer feature is regions, (Variable lifetime semantics), and, maybe moreso, its memory ownership semantics (e.g. reference borrowing). These aren't strictly separate features, they work together nicely. What I'm looking forward to is discovering how these features Will allow me to express some deeper aspects of what I _mean_ when coding, and have the compiler statically perform sanity checks for me.