How slices allow memory safe, zero-copy, mostly non-bound checked string processing.
How sum types allow strongly typed language to represent many types at run time safely and efficiently. How coding of state machines is so much easier that using OOP.
Borrowck is necessary evil feature while the about are the nice and productive features.