Skip to content

Rename bool::then_* to bool::to_option_* and use where appropriate#65195

Merged
bors merged 8 commits into
rust-lang:masterfrom
varkor:to_option
Dec 6, 2019
Merged

Rename bool::then_* to bool::to_option_* and use where appropriate#65195
bors merged 8 commits into
rust-lang:masterfrom
varkor:to_option

Commits

Commits on Dec 6, 2019