Replace custom optional with std::optional (#9068)
We have C++17, no reason to keep this old thing around. Had to resolve some ambiguous overloads.
S
Scott Wolchok committed
b9f10d4ea65bd2374d751f815031ace6faf8f642
Parent: 8f7bc8d
Committed by GitHub <noreply@github.com>
on 3/11/2025, 6:27:21 PM