teach eager_or_lazy
about panicky arithmetic operations#11002
Merged
bors merged 5 commits intorust-lang:masterfrom Nov 17, 2023
Merged
teach `eager_or_lazy` about panicky arithmetic operations#11002bors merged 5 commits intorust-lang:masterfrom
bors merged 5 commits intorust-lang:masterfrom