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

Merged

bors merged 1 commit intorust-lang:masterfrom

cuviper:either-once-empty

Aug 17, 2024

Commits on Aug 16, 2024

mir/pretty: use `Option` instead of `Either<Once, Empty>`
cuviper
committed