We already have a Vec<T> whose size can't change, it is called Box<[T]>. So Vec doesn't need to support !Move types.