That email is somewhat outdated. ~[T] is certainly disappearing with that syntax, becoming Box<[T]>, andthere has been much back and forth about whether this Box<[T]> type actually offers anything over Vec<T>, or if it's just a "cute" consequence of the type system.

(The borrowed slices &[T] and &mut [T] are certainly here to stay.)