not_empty (cargo): Slices and vectors that are statically guaranteed to be not empty.
Keywords: nonempty|vector|slice|no_std|nonzero