mir/pretty: use `Option` instead of `Either<Once, Empty>`#129167

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

cuviper:either-once-emptycuviper/rust:either-once-emptyCopy head branch name to clipboard