Give a proper error when a vector of an empty type is used.