Remove unneeded function call in `core::option`.#111000

Merged

bors merged 1 commit intorust-lang:masterfrom

nullptrderef29:core_option_unneeded_function

Apr 30, 2023

Commits on Apr 29, 2023

Remove unneeded function call in `core::option`.
nullptrderef29
committed