Remove redundant option that was just encoding that a slice was empty#128226

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

oli-obk:option_vs_empty_sliceoli-obk/rust:option_vs_empty_sliceCopy head branch name to clipboard